@inproceedings{BBN+08,
title = {Compositional Verification for Component-Based Systems and Application },
author = {Bensalem, Saddek and Bozga, Marius and Nguyen, Thanh-Hung and Sifakis, Joseph},
year = {2008},
booktitle = {ATVA '08: Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis},
pages = {64--79},
publisher = {Springer-Verlag},
team = {DCS, RSD},
}