On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications.

Ralf Henke Andreas Mitschele-Thiel Hartmut König On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. 399-414 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#HenkeMK97