DxPCs: a toolbox for model-based diagnosis of dynamic systems using possible conflicts | Publicación