Semi-automatic implementation of OSI protocols

Experience with an Estelle development system

Conference proceedings on Formal methods in software development

Experience with formal methods in protocol development

ACM SIGCOMM Computer Communication Review

PSAMS: a communication protocol specification assessment and measurement system

Software—Practice & Experience

A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation

IEEE Transactions on Software Engineering

Research: The ISO virtual terminal protocol: a semi-automatic implementation

Computer Communications

Improving the efficiency of automated protocol implementation using Estelle

Computer Communications

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

Computer Communications