DCDS

Soliman, D.; Frey, G.: Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks using Timed Automata in Uppaal. Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2009), pp. 39-44, Bari, Italy, Jun. 2009. <DOI: 10.3182/20090610-3-IT-4004.00011>