Generating Cloud Monitors from Models to Secure Clouds | IEEE Conference Publication | IEEE Xplore