A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems | IEEE Conference Publication | IEEE Xplore