TY  - RPRT
TI  - A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
AU  - Thomas Vogel
AU  - Marc Carwehl
AU  - Genaína Nunes Rodrigues
AU  - Lars Grunske
PY  - 2022
DO  - 10.1016/j.infsof.2022.107100
UR  - https://arxiv.org/abs/2211.03817
ID  - 2211.03817
ER  -