Assisted Design for Automation Systems - from Formal Requirements to Final Designs - Moriz, Natalia; Böttcher, Björn; Niggemann, Oliver; Lackhove, Josef (19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA))