@INPROCEEDINGS{GrigorovEtAl2008,
  author = {Lenko Grigorov and Jos\'{e} Eduardo Ribeiro Cury and Karen Rudie},
  title = {Design of Discrete-Event Systems Using Templates},
  booktitle = {Proceedings of the American Control Conference 2008},
  year = {2008},
  pages = {499--504},
  address = {Seattle, WA, USA},
  month = {June}
}