A rigorous methodology for analyzing and designing plug-ins. - Marieta V. Fasie; Anne E. Haxthausen; Joseph R. Kiniry (TOPI@ICSE, 2013)