Rule-based code generation in industrial automation: four large-scale case studies applying the CAYENNE method. - Heiko Koziolek; Andreas Burger; Marie Platenius-Mohr; Julius Rückert; Hadil Abukwaik; Raoul Jetley; Abdulla P. P (ICSE (SEIP), 2020)