1. Modeling a Hardware Synthesis Methodology in Isabelle

   • David Basin
   • Stefan Friedrich

   OriginalPaper Pages: 99 - 122

2. A Comparative Study of Synthesis Methods for Discrete Event Controllers

   • L.E. Pinzon
   • H.-M. Hanisch
   • T. Boucher

   OriginalPaper Pages: 123 - 167