RTAG

RTAG is a language based on an attribute grammar notation for specifying protocols. Its design goals are to allow the concise expression of complex real-world protocols, and to serve as the basis of a portable software system for automated protocol implementation.

"Automated protocol implementation with RTAG", D. P. Anderson, IEEE Transactions on Software Engineering, 14(3):291-300, March 1988.