Virtual validation of the system architecture design of a production plant with regard to fault tolerance. - Thomas Bauer 002; Felix Schulte-Langforth; Zain Shahwar; Bernd Bredehorst (SESoS, 2023)