CASE
Thramboulidis, K.; Soliman, D.; Frey, G.:Towards an Automated Verification Process for Industrial Safety Applications. Proceedings of the 7th IEEE Conference on Automation Science and Engineering (CASE), ISBN 978-1-4577-1730-7, pp. 482-487, Trieste, Italy, Aug. 2011. <DOI: 10.1109/CASE.2011.6042451>