Design and implementation of a discrete event system using statecharts | IEEE Conference Publication | IEEE Xplore