Basic Statechart: A formalism to model industrial systems | IEEE Conference Publication | IEEE Xplore