Shangzhu Wang George S. Avrunin Lori A. Clarke Verification support for plug-and-play architectural design. 49-50 2006 ROSATEA http://doi.acm.org/10.1145/1147249.1147255 conf/issta/2006r db/conf/issta/rosatea2006.html#WangAC06