Janusz A. Brzozowski Radu Negulescu Automata of Asynchronous Behaviors. 29-45 1997 conf/wia/1997 Workshop on Implementing Automata db/conf/wia/wia1997.html#BrzozowskiN97