UPPAAL - Now, Next, and Future

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45510-8_4