A methodology for model-based verification of safety contracts and performance requirements | Publicación