Automated Model Verification using an Equivalence Test on a Reference Mode
A. Akbulut,  Stephan   Abke,  Christoph  Laroque, in: W.K.V. Chan, A. D’Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, E.  Page (Eds.),  Proceedings of the 2017 Winter Simulation Conference , Institute of Electrical and Electronics Engineers, Inc., n.d.