Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.