Joseph Sifakis A Unified Approach for Studying the Properties of Transition Systems. 227-258 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#Sifakis82