@inproceedings{UmenoLynchHSCC2007,
   author    = {Shinya Umeno and Nancy Lynch},
   title     = {Safety Verification of An Aircraft Landing Protocol: A Refinement
                Approach},
   year      = 2007,
   booktitle = "Proc. of HSCC'07, Hybrid Systems: Computation and Control",
   publisher = {Springer},
   Series = "Lecture Notes in Computer Science",
   volume = 4416,
   pages =  "557 -- 572"
}