@ARTICLE{GrigorovEtAl2011,
  author = {Lenko Grigorov and Brian Butler and Jos\'e E. R. Cury and Karen Rudie},
  title = {Conceptual Design of Discrete-Event Systems Using Templates},
  journal = {Journal of Discrete-Event Dynamic Systems},
  year = {2011},
  volume = {21},
  pages = {257--303},
  number = {2}
}