TLA+ Specification of Aviation System with Time Analysis. - Madhusmita Das; Biju R. Mohan; Ram Mohana Reddy Guddeti; Mohd Dilshad; Fahim Ahmed; Sudarshan Zunja; K. P. Minank (ICCCNT, 2024)