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 (Apr. 2013), 1–14. DOI:https://doi.org/10.15625/1813-9663/16/1/2845.