Verifying Statecharts with State Invariants | IEEE Conference Publication | IEEE Xplore