Incremental Component-Based Construction and Verification of a Robotic System.

Ananda Basu Matthieu Gallien Charles Lesire Thanh-Hung Nguyen Saddek Bensalem Félix Ingrand Joseph Sifakis Incremental Component-Based Construction and Verification of a Robotic System. 631-635 2008 ECAI http://dx.doi.org/10.3233/978-1-58603-891-5-631 conf/ecai/2008 db/conf/ecai/ecai2008.html#BasuGLNBIS08