A Tutorial on Runtime Verification
An overview of the MOP runtime verification framework