High-Level Modeling and Analysis of TCAS.

Carolos Livadas, John Lygeros, Nancy A. Lynch

Browse the full RTSS paper archive.