User Documentation
Here, we describe the general usage of our tooling. In the different sections, we explain different parts based on our running example (see Maintenance Scenario (Running Example)). We recommend reading beforehand the section about the background and the architectural model.