Mauro Mazzolini, Alessandro Brusaferri, Emanuele Carpanzano. Model-Checking based Verification approach for advanced Industrial Automation solutions. In Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain. pages 1-8, IEEE, 2010. [doi]
Abstract is missing.