The integration of explanation-based learning and fuzzy control in the context of software assurance as applied to modular avionics. - Matthew Timperley (2015)