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://puffbird.ijs.si/index.php/informatica/article/view/345.