Kasper, et al.. An Embedded System for Practical Security Analysis of Contactless Smartcards. Springer Berlin Heidelberg, 2007, doi:10.1007/978-3-540-72354-7_13.