How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-69483-2_19