An Algebraic Framework for Runtime Verification