Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 - Drechsler, Rolf; Wille, Robert (Springer, 2016)