1. IntroductionRelated Work Preliminary definitionsSemanticsReductionImplementationConclusions Normative Monitoring:Semantics and Implementation Sergio Alvarez-Napagao,…