TY - RPRT TI - Using the DiaSpec design language and compiler to develop robotics systems AU - Damien Cassou AU - Serge Stinckwich AU - Pierrick Koch PY - 2011 UR - https://arxiv.org/abs/1109.2806 ID - 1109.2806 ER -