1. Specification and Design of Embedded Systems;Dömer;it+ti Magazine,1998
2. Gajski, Daniel D. and Zhu, Jianwen, Dömer, Rainer, Gerstlauer, Andreas, & Zhao, Shuqing (2012) "SpecC: Specification language and methodology" Springer Science & Business Media.
3. Abid, Mariem (2016) "System-Level Hardware Synthesis of Dataflow Programs with HEVC as Study Use Case" Signal and Image Processing. INSA de Rennes.
4. Foster, Harry. (2015) "Trends in functional verification" 52nd Annual Design Automation Conference1-6.
5. Guest editors’ introduction: Raising the abstraction level of hardware design;Coussy;IEEE Design and Test of Computers,2009