Describing non-functional requirements with TOSCA

• an example: article

  CPU, green energy, latency

• https://github.com/cncf/tag-security/blob/main/policy/overview-policy-formal-verification.md