Abdel-Hafeez, S., et al. “A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-Bit Saturating Counter”. Informatica, vol. 35, no. 2, https://www.informatica.si/index.php/informatica/article/view/345.