Monitoring-Oriented Programming (MOP) is a software development and analysis framework that aims to bridge the gap between formal specifications and implementations by combining them. In MOP, runtime ...