@article{BBL+4,
title = {Component-based verification using incremental design and invariants },
author = {Bensalem, Saddek and Bozga, Marius and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
month = {April},
year = {2014},
journal = {Software {\&} Systems Modeling},
team = {DCS, RSD},
}