Interactive Verification of UML State Machines (2004)

by M Balser, S Bäumler, A Knapp, W Reif, A Thums
Venue:Formal Engineering Methods (ICFEM’04), LNCS 3308