Venkita Subramonian Christopher D. Gill Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. 118-132 2006 ASWSD http://dx.doi.org/10.1007/978-3-540-70930-5_8 conf/aswsd/2006 db/conf/aswsd/aswsd2006.html#SubramonianG06