High-Level Modeling and Analysis of TCAS (1999)

by Carolos Livadas, John Lygeros, Nancy A Lynch
Venue:In IEEE Real-Time Systems Symposium