Zhao, H., Mallet, F., Apvrille, L., 2019. A Language-Based Multi-View Approach for Combining Functional and Security Models, in: . IEEE.. https://doi.org/10.1109/apsec48747.2019.00064