Developing self-verifying service-based systems | IEEE Conference Publication | IEEE Xplore