Requirements for Industrial-Strength Formal Method Tools. - Mark R. Blackburn; Robert Busser (WIFT, 1998)

An Industrial Application of an Integrated UML and SDL Modeling Technique. - Maha Boughdadi; Robert Busser (COMPSAC, 1999)

Mars Polar Lander Fault Identification Using Model-based Testing. - Mark R. Blackburn; Robert Busser; Aaron Nauman; Robert Knickerbocker; Richard Kasuda (ICECCS, 2002)

Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. - Lisa M. Boden; Robert Busser; Mark R. Blackburn; Aaron Nauman (SEW, 2005)

Model-Based Testing in Practice. - Mark R. Blackburn; Robert Busser; Aaron Nauman; Travis R. Morgan (GI Jahrestagung (2), 2006)