rtamt. Specification-based real-time monitoring library
rtamt4ros. Real-time monitoring tool for ROS applications that uses the rtamt library
