https://123dok.net/document/zwvo45l1-modeling-formal-approach-precise-specification-security-patterns.html