New Symbolic Model and Equivalences Checking for Open Automata | IEEE Conference Publication | IEEE Xplore