Proving Single Fault Tolerance in Closed Bus Designs: A Model-Based Testing Approach

Artur Zbro?ski, DNV
Marek Kryger, DNV
Marek Ostaszewski, DNV
Martin Lauritz Soltun, ABB
Piotr Wiechowski, ABB
Stanis?aw Marsza?kowski, DNV
Trond Hammeras, ABB