Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.

Shinya Umeno Nancy A. Lynch Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. 64-80 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_5 db/conf/fm/fm2006.html#UmenoL06