Equivalence transformations on statecharts (2000)

by H Frank, J Eder
Venue:In: Proc. 12th Int’l Conf. on Software and Knowledge Eng