An Estelle interpreter for incremental protocol verification. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Jao-Chiang Pong; Duen-Tay Huang (ICNP, 1993)

An Estelle-Based Incremental Protocol Design System. - Chung-Ming Huang; Jenq-Muh Hsu; Huei-Yang Lai; Duen-Tay Huang; Jao-Chiang Pong (J. Syst. Softw., 1997)