Abdel-Hafeez S, Gordon-Ross A, Albosul A, Shatnawi A, Harb S. A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-bit Saturating Counter. Informatica. 35(2). Accessed September 4, 2026. https://www.informatica.si/index.php/informatica/article/view/345