Formal Composition of Robotic Systems as Contract Programs | IEEE Conference Publication | IEEE Xplore