Jeroen Bruijning
Univ. of Amsterdam, Amsterdam, The Netherlands
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
The European telecommunications research and development program RACE and its software project SPECS
IBM Systems Journal
Modal processes: towards enhanced retargetability through control composition of distributed embedded systems
DAC '98 Proceedings of the 35th annual Design Automation Conference