Modeling a discrete event system using statecharts | IEEE Conference Publication | IEEE Xplore