Hyunsang Youn, Ingeol Chun, Eunseok Lee: Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri Net. FGIT-CA/CES3 2011: 202-212