Our article “ScenarioTools — A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems” was now published in the Original Software Publication track of the Science of Computer Programming journal:

http://dx.doi.org/10.1016/j.scico.2017.07.004