Satyaki Das David L. Dill Successive Approximation of Abstract Transition Relations. 51-60 2001 LICS db/conf/lics/lics2001.html#DasD01