Partially ordered automata : expressivity, complexity, and applications - Masopust, Tomáš, 1978- (2019)