License

https://w3id.org/pmd/automatce.owl#CC-BY-4.0
https://w3id.org/pmd/automatce.owl#CC-BY-4.0