@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 = nov
}