TY - THES A1 - Neumann, Stefan T1 - Modular timing analysis of component-based real-time embedded systems Y1 - 2013 CY - Potsdam ER -