Study of methods for model reduction in transition systems | IEEE Conference Publication | IEEE Xplore