Zoë R. Stephenson John A. McDermid Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. 53-62 2007 conf/sew/2007 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2007.112 db/conf/sew/sew2007.html#StephensonM07