A Model-Driven Security Analysis Approach for 5G Communications in Industrial Systems | IEEE Journals & Magazine | IEEE Xplore