Hassan Reza Emanuel S. Grant A Model-Based Testing Method for Multimodal Integration Testing. 360-363 2007 conf/serp/2007-2 Software Engineering Research and Practice db/conf/serp/serp2007-2.html#RezaG07