Eileen Peluso Jonathan Goldstine Shashi Phoha Normal Processes for Modeling the Desired Behavior of Distributed Autonomous Discrete Event Systems. 127-142 2002 7 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc7.html#PelusoGP02