Automated model verification using an equivalence test on a reference model | IEEE Conference Publication | IEEE Xplore