Abstract Modeling of embedded Systems Hardware. - Christian Hausner; Frank Slomka (SIMULTECH, 2013)