Dejan Desovski Bojan Cukic A Component-Based Approach to Verification and Validation of Formal Software Models. 89-114 2006 conf/icse/2006wads WADS http://dx.doi.org/10.1007/978-3-540-74035-3_5 db/conf/icse/wads2006.html#DesovskiC06