Specification and formal verification of temporal properties of production automation systems (2004)

by S Flake, W Mueller, U Pape, J Ruf
Venue:Integration of Sofware Techniques for Applications in Engineering. Volume 3147 of Lecture Notes in Computer Science