Hee-Soo Kim, Seok-Won Lee: Dependability-enhanced unified modeling and simulation methodology for Critical Infrastructures. Inf. Softw. Technol. 102: 175-192 (2018)