From MSCs to Statecharts," Distributed and Parallel Embedded Systems (1999)

by I Kruger, R Grosu, P Scholz, M Broy