Prototyping of Real-time Component Based Systems by the use of Timed Automata Trevor Jones Lancaster University, UK [email protected].