Doron Peled
-
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reconciling statechart semantics
Science of Computer Programming