@article{'BBL+6',
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},
year = {2016},
journal = {Software and System Modeling},
number = {2},
pages = {427--451},
volume = {15},
team = {DCS, RSD},
}
