Systematic Process for Building a Fault Diagnoser Based on Petri Nets Applied to a Helicopter | Publicación