"Using the DiaSpec design language and compiler to develop robotics systems"

Damien Cassou, Serge Stinckwich, Pierrick Koch (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics