hpl-specs (pypi): HAROS Property Specification Language
Keywords: haros|ros|property-specification|parser|parsing|ast