R. Födisch Thomas Held Hartmut König A Protocol Development Environment Based on Estelle. 121-141 1992 conf/indc/1992 INDC db/conf/indc/indc1992.html#FodischHK92