Model-driven timing analysis of embedded software - JU LEI (2010)
Ph.D