Using the DiaSpec design language and compiler to develop robotics systems Paper • 1109.2806 • Published Sep 13, 2011