Francesca Levi
Univ. di Pisa, Pisa, Italy
Reconciling statechart semantics
Science of Computer Programming
What is in a step: new perspectives on a classical question
Time for verification