Thomas Vogel 0001, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske. A property specification pattern catalog for real-time system verification with UPPAAL. Information \& Software Technology, 154:107100, 2023. [doi]
@article{VogelCRG23,
title = {A property specification pattern catalog for real-time system verification with UPPAAL},
author = {Thomas Vogel 0001 and Marc Carwehl and Genaína Nunes Rodrigues and Lars Grunske},
year = {2023},
doi = {10.1016/j.infsof.2022.107100},
url = {https://doi.org/10.1016/j.infsof.2022.107100},
researchr = {https://researchr.org/publication/VogelCRG23},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {154},
pages = {107100},
}