Clara-compatible Runtime Monitors

There are two ways of obtaining a Clara-compatible runtime monitor:

  1. writing the monitor by hand, or
  2. have a tool generate a monitor for you.