Structural Analysis of the Check Point Pattern. - Abdullah A. H. Alzahrani; Amnon H. Eden; Majd Zohri Yafi (SOSE, 2014)

Using Codecharts for formally modelling and automating detection of patterns with application to Security Patterns. - Abdullah A. H. Alzahrani (2016)