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