Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. In Sven Apel, Ethan Jackson, editors, Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Volume 6708 of Lecture Notes in Computer Science, pages 116-132, Springer, 2011. [doi]
Abstract is missing.