Requirements patterns matching tool chain

Summary
The pattern matching tool chain will map the security requirements to patterns of security formal properties.