A structural analysis of the A5/1 state transition graph - Andreas Beckmann; Jaroslaw Fedorowicz; Jörg Keller 001; Ulrich Meyer 001 (GRAPHITE, 2012)