S. Fischer
-
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications