Youssef Hanna Samik Basu Hridesh Rajan Behavioral automata composition for automatic topology independent verification of parameterized systems. 325-334 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595758 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#HannaBR09