Takumi Endo Junichi Miura Koichi Nanashima Shoichi Morimoto Yuichi Goto Jingde Cheng Security in Persistently Reactive Systems. 874-883 2005 conf/euc/2005w EUC Workshops http://dx.doi.org/10.1007/11596042_90 db/conf/euc/eucw2005.html#EndoMNMGC05