Emil Sekerinski Verifying Statecharts with State Invariants. 7-14 2008 ICECCS http://dx.doi.org/10.1109/ICECCS.2008.40 conf/iceccs/2008 db/conf/iceccs/iceccs2008.html#Sekerinski08