Formal model for real time diagnosis of dynamic systems | Publicación