Sajeh Zairi, Belhassen Zouari, Laurent Piétrac. A formal approach for the specification, verification and control of flexible manufacturing systems. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 1031-1038, IEEE, 2007. [doi]