A Fault Tolerant Architecture Using AADLs and Error Model Annexfor for Unmanned Aircraft Systems (UAS). - Hassan Reza; Ron Marsh; Mark Askelson (Software Engineering Research and Practice, 2010)