Applying temporal logic verification and synthesis to manufacturing systems