"Static analysis techniques for robotics software verification."

Agostino Cortesi, Pietro Ferrara, Nabendu Chaki (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics