Syndevs co-design flow: a hardware / software co-design flow based on the discrete event system specification model of computation - Molter, H. Gregor, author (Spinger, 2012)