Saddek Bensalem Marius Bozga Joseph Sifakis Thanh-Hung Nguyen Compositional Verification for Component-Based Systems and Application. 64-79 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_7 conf/atva/2008 db/conf/atva/atva2008.html#BensalemBSN08