@InProceedings{etfa96,
  author = 	 {Antonio Camurri and
                  Alessandro Coglio},
  title = 	 {A Formalism for the Synthesis of Efficient Controllers
                  for Discrete Event Systems},
  booktitle = 	 {Proc.\ 5th {IEEE} Conference on
                  Emerging Technologies and Factory Automation ({ETFA'96})},
  pages = 	 {348--354},
  year = 	 {1996},
  volume = 	 {1},
  month = 	 {November}
}