Security in Persistently Reactive Systems. - Takumi Endo; Junichi Miura; Koichi Nanashima; Shoichi Morimoto; Yuichi Goto; Jingde Cheng (EUC Workshops, 2005)