Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. - Pablo Gruer; Vincent Hilaire; Abder Koukam; P. Rovarini (J. Syst. Softw., 2004)