delta_reachability: add ieee journal version (tac.tex)