Supplementary Material for "Aiding the Design of Critical Software Systems by Iterative Exploration of Distinct Requirement Violation Scenarios"

This dataset provides artifacts about an industrial case study of a Steer-by-Wire system. It collects models of the system modeled in the open-source Gamma Statechart Composition Framework. You can find more information about the framework here: https://github.com/ftsrg/gamma.