A Model-based Temporal Abductive Diagnosis Model for an Intensive Coronary Care Unit | Publicación