In this paper, we describe a plug-in for the Rhapsody tool, which demonstrates how UML models with SPT annotations can be analysed using the Times tool—a tool for modelling, schedulability analysis, and code generation for timed systems. The plug-in takes as input an UML model consisting of an assembly of components whose behaviours are specified by statecharts. Operations may be annotated with SPT timing parameters for their execution time, deadline, priority etc. The output is a network of timed automata extended with tasks that can be analysed using the Times tool. In particular, the Times tool will show whether the operations invoked from the UML model are guaranteed to meet their deadlines or not. We describe how this has been done in a case study where an SPT annotated UML model of an adaptive cruise controller is studied.