@InBook{,
 author = {M. Kurkowski, W. Penczek},
 title = {Applying timed automata to model checking of security protocols},
 chapter = {},
 publisher = {},
 year = {2013},
 note = {in ed. J. Wang, Handbook of Finite State Based Models and Applications, pp. 223--254, Chapman and Hall/CRC Press,}
 }