Marcello Bonfé, Cesare Fantuzzi. Design and verification of mechatronic object-oriented models for industrial control systems. In Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2003, September 16-19, 2003, Lisbon, Portugal - Volume 2. pages 253-260, IEEE, 2003. [doi]
Abstract is missing.