Kevin Nagorny, Robert Harrison, Armando Walter Colombo, Gerhard Kreutz. A formal engineering approach for control and monitoring systems in a service-oriented environment. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 480-487, IEEE, 2013. [doi]
Abstract is missing.