Marcello Bonfè, Cesare Fantuzzi. Design and verification of industrial logic controllers with UML and statecharts. In Proceedings of 2003 IEEE Conference on Control Applications, CCA 2003, Istanbul, Turkey, June 23-25, 2003. pages 1029-1034, IEEE, 2003. [doi]
Abstract is missing.