extending i/o automaton methodology for modeling complex systems , ( generalized composition and
i keidar , r khazan , n lynch , a shvartsman
technical report , mit laboratory for computer science , 1999 . in