Finding Risk Patterns in Cloud System Models | IEEE Conference Publication | IEEE Xplore