A Model-based Integration and Testing Method to Reduce System Development Effort. - N. C. W. M. Braspenning; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (MBT, 2006)

Model-based system analysis using Chi and Uppaal: An industrial case study. - N. C. W. M. Braspenning; Elena M. Bortnik; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Comput. Ind., 2008)

Estimating and quantifying the impact of using models for integration and testing. - N. C. W. M. Braspenning; R. Boumen; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Comput. Ind., 2011)