The Runtime Monitoring Framework of SERENITY