Semantic organization and verification of Web services for processing sensor data | IEEE Conference Publication | IEEE Xplore