Analyzing the Redesign of a Distributed Lift System in UPPAAL.

Jun Pang, Bart Karstens, Wan J. Fokkink

Browse the full ICFEM paper archive.