@inproceedings{BSG+1,
title = {A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems },
author = {Bensalem, Saddek and Silva, Lavindra de and Griesmayer, Andreas and Ingrand, Felix and Legay, Axel and Yan, Rongjie},
year = {2011},
booktitle = {Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
pages = {116-132},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6708},
team = {DCS, RSD},
}
