1.
The do's and don'ts of infrastructure code: A systematic gray literature review
2.
Model Checking Based Approach for Compliance Checking