S. Abdel-Hafeez, A. Gordon-Ross, A. Albosul, A. Shatnawi, and S. Harb, “A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-bit Saturating Counter”, IJCAI, vol. 35, no. 2.