A formal engineering approach for control and monitoring systems in a service-oriented environment | IEEE Conference Publication | IEEE Xplore