A Methodology for the Simplification of Tabular Designs in Model-Based Development. - Monika Bialy; Mark Lawford; Vera Pantelic; Alan Wassyng (FormaliSE@ICSE, 2015)

Signature required: Making Simulink data flow and interfaces explicit. - Marc Bender; Karen Laurin; Mark Lawford; Vera Pantelic; Alexandre Korobkine; Jeff Ong; Bennett Mackenzie; Monika Bialy; Steven M. Postma (Sci. Comput. Program., 2015)