Alejandro Ramirez-Serrano C. Sriskandarajah Beno Benhabib Automata-based modeling and control synthesis for manufacturing workcells with part-routing flexibility. 807-823 2000 16 IEEE Trans. Robotics Autom. 6 https://doi.org/10.1109/70.897791 db/journals/trob/trob16.html#Ramirez-SerranoSB00