The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems | IEEE Journals & Magazine | IEEE Xplore