A Common Framework for Compilation Techniques Applied to Diagnosis of Linear Dynamic Systems | IEEE Journals & Magazine | IEEE Xplore