Verifying System-Wide Properties of Industrial Component-Based Software. - Thomas Neele; Marijn Rol; Jan Friso Groote (FSEN, 2019)