A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-bit Saturating Counter. Informatica, 35(2). https://puffbird.ijs.si/index.php/informatica/article/view/345