Design of Discrete-Event Systems Using Templates | IEEE Conference Publication | IEEE Xplore