Formal models for control of flexible manufacturing cells: physical and system model. - Sanjay B. Joshi; Erik G. Mettala; Jeffrey S. Smith; Richard A. Wysk (IEEE Trans. Robotics Autom., 1995)