Gang Xu, ZhiMing Wu. Formal modeling and verifying of FMS. In Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2003, September 16-19, 2003, Lisbon, Portugal - Volume 2. pages 315-320, IEEE, 2003. [doi]
Abstract is missing.