Stanislaw Budkowski Estelle Development Toolset (EDT). 63-82 1992 25 Computer Networks and ISDN Systems 1 db/journals/cn/cn25.html#Budkowski92