Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models | IEEE Conference Publication | IEEE Xplore