A Security Compliance-by-Design Framework Utilizing Reusable Formal Models | IEEE Conference Publication | IEEE Xplore