Assisted Design for Automation Systems - from Formal Requirements to Final Designs
N. Moriz, B. Böttcher, O. Niggemann, J. Lackhove, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Barcelona, Spain, 2014.