A recursive procedure for optimally designing a hybrid fault diagnosable system | IEEE Conference Publication | IEEE Xplore