Matteo Avalle, Alfredo Pironti, Riccardo Sisto: Formal verification of security protocol implementations: a survey. Formal Aspects Comput. 26(1): 99-123 (2014)