Real-Time Model Checking for the Analysis of flexible Manufacturing Systems - Flake, Stephan; Müller, Wolfgang; Pape, U.; Ruf, Jürgen (Proceedings of ISI 2001)