selected publications conference paper An Extensible Architecture for Detecting Violations of a Cloud Environment's Constraints during Legacy Software System Migration. . 2011