Reverse Dependencies of rtamt

The following projects have a declared dependency on rtamt:

• argus-temporal-logic — no summary
• psy-taliro — Search-based test generation framework