The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems