Generating Algebraic Equations for A5-Type Key Stream Generator -- A Simulation-Based