Study of methods for model reduction in transition systems. - Sudeshna Sarkar; A. V. Subramaniam; Rajdeep Neogi (SMC, 2000)