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