Knowledge of formal architecture methods. Contribute to the identification of technical and programmatic risks including effective mitigation strategies.