@article{BBN+10,
title = {Compositional verification for component-based systems and application },
author = {Bensalem, Saddek and Bozga, Marius and Nguyen, Thanh-Hung and Sifakis, Joseph},
month = {June},
year = {2010},
journal = {IET Software},
number = {3},
pages = {181-193},
volume = {4},
team = {DCS, RSD},
}
