A formal engineering approach for control and monitoring systems in a service-oriented environment.

Kevin Nagorny, Robert Harrison, Armando Walter Colombo, Gerhard Kreutz

Browse the full INDIN paper archive.