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.