Anthony M. Aiello

Run-Time Verification and Validation for Safety-Critical Flight Control Systems

John D. Schierman, David G. Ward, John F. Berryman, 2008 .

Run-Time Assurance for Advanced Flight-Critical Control Systems *

John D. Schierman, John F. Berryman, Anthony M. Aiello, 2010 .