The UPPAAL Models can be found at the following repository: https://github.com/ljdust/Pattern-Based-Verification-of-ROS-2-Nodes-using-UPPAALÂ
Two Versions of the Models are available at different branches.
Main: FMICS 2023 Paper
STTT: STTT Journal Article