Text this: Methods for Domain Specification of Verification-Oriented Process Ontology