Modify, update, add, edit as seems appropriate
- If available, monitor design diagram (e.g., statechart) correctly depicts
monitor logic
- Code correctly implements monitor logic
- Monitor will work even if multiple signals are delivered out-of-order by
ROS
- Monitor will work even if one signal arrives twice between some other
signal
- Invariant violation uses ROS_WARN to issue a violation notice
Last update 12/18/2021