Young Joo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim: Validating Software Reliability Early through Statistical Model Checking. IEEE Softw. 30(3): 35-41 (2013)