@inproceedings{pop00135,
author = {A. Camurri and A. Coglio},
title = {A Formalism for the Synthesis of Efficient Controllers for Discrete Event Systems},
booktitle = {Proceedings of the 5th IEEE International Conference on Emerging Technologies and Factory Automation},
year = {1996},
}