Design & Verification of Component Based Real-time Systems (Uppsala Dissertations from the Faculty of Science & Technology)