Design of Discrete-Event Systems Using Templates Lenko Grigorov 1, José Eduardo Ribeiro Cury 2 and Karen Rudie 1 1 Queen’s University, Kingston, Canada.