[1]	Ingo Sander and Axel Jantsch. System synthesis utilizing a layered functional model. In Proceedings of the 7th International Workshop on Hardware/Software Codesign, pages 136--141, May 1999. [ bib ]
[2]	Per Bjuréus and Axel Jantsch. Heterogenous system-level cosimulation with SDL and Matlab. In Proceedings of the Forum on Design Languages (FDL), 1999. [ bib ]
[3]	Wolfgang Horn, Bengt Svantesson, Shashi Kumar, Axel Jantsch, and Ahmed Hemani. Hardware synthesis of an atm multiplexer modelled in SDL: A case study. In Proceedings of the IEEE Computer Society Annual Workshop on VLSI, 1999. [ bib ]
[4]	Axel Jantsch. Formal system specification models for verification and refinement. In EDA-Traff'99, 1999. [ bib ]
[5]	Axel Jantsch. Integrated electronic systems program - a national research program. In EDA-Traff'99, 1999. [ bib ]
[6]	Axel Jantsch, Shashi Kumar, and Ahmed Hemani. The Rugby model: A framework for the study of modelling, analysis, and synthesis concepts in electronic systems. In Proceedings of Design Automation and Test in Europe (DATE), 1999. [ bib ]
[7]	Thomas Meincke, Axel Jantsch, Peeter Ellervee, Ahmed Hemani, and Hannu Tenhunen. A generic scheme for communication representation and mapping. In Proceedings of to IEEE Norchip Conference, 1999. [ bib ]
[8]	Mattias O'Nils and Axel Jantsch. Synthesis of DMA controllers from architecture independent descriptions of HW/SW communication protocols. In Proceedings of the Twelfth International Conference on VLSI Design, January 1999. [ bib ]
[9]	Mattias O'Nils and Axel Jantsch. Operating system sensitive device driver synthesis from implementation independent protocol specification. In Proceedings of Design Automation and Test in Europe, 1999. [ bib ]
[10]	Henrik Olson, Axel Jantsch, and Hannu Tenhunen. Floating- to fixed-point refinement in Matlab with an object-oriented library. In Proceedings of the IEEE Norchip Conference, 1999. [ bib ]
[11]	Ingo Sander and Axel Jantsch. Formal design based on the synchronous approach, functional models and skeletons. In Proceedings of the Twelfth International Conference on VLSI Design, 1999. [ bib ]
[12]	Ingo Sander and Axel Jantsch. System synthesis based on a formal computational model and skeletons. In Proceedings of the IEEE Computer Society Annual Workshop on VLSI, 1999. [ bib ]