Markus Sköldstam Knut Åkesson Martin Fabian Modeling of discrete event systems using finite automata with variables. 3387-3392 2007 CDC https://doi.org/10.1109/CDC.2007.4434894 conf/cdc/2007 db/conf/cdc/cdc2007.html#SkoldstamAF07