https://ijsrem.com/download/creating-cloud-monitors-from-models-securing-clouds/