Hae Sang Song, Tag Gon Kim. Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models. In Tianyuan Xiao, Lin Zhang, Minrui Fei, editors, AsiaSim 2012 - Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I. Volume 323 of Communications in Computer and Information Science, pages 480-489, Springer, 2012. [doi]
Abstract is missing.