Real-time hardware implementation of symbolic health monitoring for aircraft engine components. - Murat Yasar; Ashish Purekar; Datta Sheth (ACC, 2010)