State Transition Diagrams (1996)

by R Grosu, C Klein, B Rumpe, M Broy