David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt: Let's Get Physical: Models and Methods for Real-World Security Protocols. TPHOLs 2009: 1-22