DCDS
Soliman, D.; Frey, G.; Thramboulidis, K.: On Formal Verification of Function Block Applications in Safety-related Software Development. Proceedings of the 3rd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), ISBN 978-3-902823-49-6, pp. 109-114, York, UK, Sept. 2013. <DOI: 10.3182/20130904-3-UK-4041.00015>