A Common Framework for Compilation Techniques Applied to Diagnosis of Linear Dynamic Systems | Publicación