Reverse Dependencies of hpl-rv-ros

The following projects have a declared dependency on hpl-rv-ros:

• haros-plugin-rv-gen — HAROS plugin to enable Runtime Verification from HPL properties