File:Runtime Verification Monitor.svg Source: en.wikipedia.org/wiki/File:Runtime_Verification_Monitor.svg