High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract).

Nancy A. Lynch High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). 3 1999 conf/hybrid/1999 HSCC db/conf/hybrid/hscc99.html#Lynch99 http://link.springer.de/link/service/series/0558/bibs/1569/15690003.htm