Conceptual Design of Discrete-Event Systems Using Templates. - Lenko Grigorov; Brian E. Butler; José E. R. Cury; Karen Rudie (Discret. Event Dyn. Syst., 2011)