@misc{indiciaed9e263a9ac97,
  title = {A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL},
  author = {Thomas Vogel and Marc Carwehl and Genaína Nunes Rodrigues and Lars Grunske},
  year = {2022},
  doi = {10.1016/j.infsof.2022.107100},
  url = {https://arxiv.org/abs/2211.03817},
  note = {Source identifier: 2211.03817}
}