Qualitative verification of finite and real-time DEVS networks.

Moon Ho Hwang Qualitative verification of finite and real-time DEVS networks. 43 2012 SpringSim (TMS-DEVS) http://dl.acm.org/citation.cfm?id=2346659 conf/springsim/2012-4 db/conf/springsim/springsim2012-4.html#Hwang12