Temporal logic formulation of assembly sequence properties. - Seow Kiam Tian; R. Devanathan (ICRA, 1992)