Tariq Samad Darren D. Cofer Vu Ha Pam Binns High-confidence control: Ensuring reliability in high-performance real-time systems. 315-326 2004 19 Int. J. Intell. Syst. 4 http://dx.doi.org/10.1002/int.10165 db/journals/ijis/ijis19.html#SamadCHB04