Implementation Code for Case Study of Dependability-enhanced Unified Modeling and Simulation Methodology