Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact

This archive contains the implementation and the experiments discussed in the
article "Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles". These experiments aim to
illustrate the use of the role-based automata (RBA) framework and its
implementation for detecting hierarchical interactions between feature-oriented
systems and for detecting active interplays. Furthermore, the first experiment
also serves for demonstrating the scalability of the proposed modeling and
analysis approach.