Gerard Jounghyun Kim George A. Bekey Constructing Design Plans for DFA Redesign. 312-318 1993 conf/icra/1993 ICRA (3) db/conf/icra/icra1993-3.html#KimB93 http://dx.doi.org/10.1109/ROBOT.1993.292193