A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs | IEEE Conference Publication | IEEE Xplore