Marsha Chechik Hai Wang Bisimulation analysis of SDL-expressed protocols: a case study. 2 2000 conf/cascon/2000 CASCON http://doi.acm.org/10.1145/782034.782036 db/conf/cascon/cascon2000.html#ChechikW00