Springer
Lecture Notes in Computer Science
IPM International Symposium on Fundamentals of Software Engineering
Software Analysis and Transformation

Fokkink, W., Kakebeen, A.& Pang, J. (2007). Adapting the UPPAAL model of a distributed lift system. International Symposium on Fundamentals of Software Engineering, 81–97.