Methodologies for hybrid systems diagnosis based on the hybrid automaton framework | Publicación