Chung-Ming Huang Jenq-Muh Hsu L. Huei-Yang H. Duen-Tay P. Jao-Chiang An Estelle-Based Incremental Protocol Design System. 115-135 1997 36 Journal of Systems and Software 2 db/journals/jss/jss36.html#HuangHHDJ97