SynDEVS Co-Design Flow : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation - H. Gregor Molter (Springer Gabler)