HiSML: A High-Level Integrated Service Monitoring Language | IEEE Conference Publication | IEEE Xplore