Assurance via model transformations and their hierarchical refinement. - Zinovy Diskin; Tom Maibaum; Alan Wassyng; Stephen Wynn-Williams; Mark Lawford (MoDELS, 2018)

SL2SF: Refactoring Simulink to Stateflow. - Stephen Wynn-Williams; Zinovy Diskin; Vera Pantelic; Mark Lawford; Gehan M. K. Selim; Curtis Milo; Moustapha Diab; Feisel Weslati (FASE, 2019)

Change impact analysis in Simulink designs of embedded systems. - Bennett Mackenzie; Vera Pantelic; Gordon Marks; Stephen Wynn-Williams; Gehan M. K. Selim; Mark Lawford; Alan Wassyng; Moustapha Diab; Feisel Weslati (ESEC/SIGSOFT FSE, 2020)

Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. - Stephen Wynn-Williams; Ryan Tyrrell; Vera Pantelic; Mark Lawford; Claudio Menghi; Phaneendra Nalla; Hassan Artail (SIGSOFT FSE Companion, 2025)