Peng, T.; Wang, S.; Geng, J.; Wang, Q.; Yang, Y.; Zhang, K. Verification of the Instantiation and Integration of Security Patterns. JWE 2020, 19, 521-556.