Formalization and verification of safety properties of Statechart specifications | IEEE Conference Publication | IEEE Xplore