Stavros G. Vougioukas Susan N. Gottschlich Automatic Synthesis and Verification of Compliance Mappings. 491-496 1993 conf/icra/1993 ICRA (1) db/conf/icra/icra1993-1.html#VougioukasG93 http://dx.doi.org/10.1109/ROBOT.1993.292027