1. Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System

   • Rainer Gmehlich

   OriginalPaper Pages: 151 - 175

2. Device Driver and DMA Controller Synthesis from HW /SW Communication Protocol Specifications

   • MATTIAS O'Nils
   • AXEL Jantsch

   OriginalPaper Pages: 177 - 205

3. Efficient Memory Management for High-Speed ATM Systems

   • D. N. Serpanos
   • P. Karakonstantis

   OriginalPaper Pages: 207 - 235