2007
Adapting the UPPAAL Model of a Distributed Lift System.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007