Paulo Leitão, Armando W. Colombo, Francisco Restivo. A formal validation approach for holonic control system specifications. In Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2003, September 16-19, 2003, Lisbon, Portugal - Volume 1. pages 203-210, IEEE, 2003. [doi]
Abstract is missing.