B Formal Modeling Based on UML Statechart | IEEE Conference Publication | IEEE Xplore