https://5dok.net/document/z3dloeve-using-requirement-templates-to-automate-requirements-formalization.html