Adding the timing aspects to the development and later verification of real-time constraints - [ ] Identify real-time relevant parts of the specification (requirements) #83 - [ ] Identify time restrictions for functions - [ ] Break down time restricitons to (simplified/ modular) architecture - [ ] Identify mapping of real-time representation in SysML - [ ] Functional time-budgeting: refine time budgeting restrictuins for functions - [ ] Verify timing constraints for modular architecture