Anh, N. T. and San, N. N. (2013) “Brief on order-reduction for models: a critical survey”., Journal of Computer Science and Cybernetics, 16(1), pp. 1–14. doi: 10.15625/1813-9663/16/1/2845.