Darren D. Cofer. Reliable Implementation of Hybrid Control Systems for Advanced Avionics. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems IV. Volume 1273 of Lecture Notes in Computer Science, pages 93-112, Springer, 1996.
Abstract is missing.