Design of Industrial Automation Systems - Formal Requirements in the Engineering Process
B. Böttcher, J. Badinger, N. Moriz, O. Niggemann, in: 18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Cagliari, Italy, 2013.