Chang, X. Lv, S. Rodriguez, R.J. Trivedi, K. Survivability model for security and dependability analysis of a vulnerable critical system Proc. - Int. Conf. Comput. Commun. Netw. 10.1109/ICCCN.2018.8487446 2018 2018