Madl, et al.. Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking. no. 1-3, Springer Nature, 2006, doi:10.1007/s11241-006-6883-y.