The PET and DINGO tools for deriving distributed implementations from Estelle

Partial-order transport service for multimedia and other applications

IEEE/ACM Transactions on Networking (TON)

The experimental Estelle Compiler: automatic generation of implementations from formal specifications

FMSP '98 Proceedings of the second workshop on Formal methods in software practice

Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification

IEEE Transactions on Software Engineering

Improving the efficiency of automated protocol implementation using Estelle

Computer Communications

Tool support for hardware/software co-design of communication protocols

Computer Communications

Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

Computer Communications