@PHDTHESIS{Grigorov2009,
  author = {Lenko Grigorov Grigorov},
  title = {Conceptual design of discrete-event systems using templates},
  school = {School of Computing, Queen's University},
  year = {2009},
  address = {Kingston, Ontario, Canada}
}