@inproceedings{BGL+08,
title = {Incremental Component-Based Construction and Verification of a Robotic System },
author = {Basu, Ananda and Gallien, Matthieu and Lesire, Charles and Nguyen, Thanh-Hung and Bensalem, Saddek and Ingrand, Felix and Sifakis, Joseph},
year = {2008},
booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings},
pages = {631-635},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
team = {DCS, RSD},
}
