Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net. - Shin-Young Lim; Jeong-Ho Ko; Eun-Ah Jun; Gang-Soo Lee (J. Syst. Softw., 2001)