Automated Formal Verification for Flexible Manufacturing Systems