How to early integrate operational diagnosis objectives in model-driven engineering processes: A methodological proposal based on fault and behavior trees.