Dimitrova, R., & Majumdar, R. (2018). Reachability Analysis of Reversal-bounded Automata on Series–parallel Graphs. Acta Informatica, 55(2), 153-189. doi:10.1007/s00236-016-0290-1.