Abstract: Large and complex real time systems can benefit significantly from a component based development approach where new systems are constructed by composing reusable and previously tested components, if this process of component composition can be automated,

Key words: Real-time component, Component specification, Component composition