A Middleware for Model-Based Embedded Systems. - Wolfgang Haberl; Jan Birke; Uwe Baumgarten (ESA, 2008)

Model-Level Debugging of Embedded Real-Time Systems. - Wolfgang Haberl; Markus Herrmannsdoerfer; Jan Birke; Uwe Baumgarten (CIT, 2010)