Security requirements formalized with OCL in a model-driven approach | IEEE Conference Publication | IEEE Xplore