Anh, N. T., and N. N. San. “Brief on Order-Reduction for Models: A Critical Survey”. Journal of Computer Science and Cybernetics, vol. 16, no. 1, Apr. 2013, pp. 1-14, doi:10.15625/1813-9663/16/1/2845.