Chung-Ming Huang Jenq-Muh Hsu An Estelle-Based Probabilistic Partial Timed Protocol Verification System. 83-90 2000 ICPADS http://computer.org/proceedings/icpads/0568/05680083abs.htm db/conf/icpads/icpads2000.html#HuangH00