A Model-Based Testing Using Scenarios and Constraints-based Modular Petri Nets. - Hassan Reza; Scott D. Kerlin (ITNG, 2011)