Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables | IEEE Conference Publication | IEEE Xplore