asynchronous objects modeled in the language Creol. In previous work we analyzed the
schedulability of objects modeled as Timed Automata. In this paper, we extend this
framework to support enabling conditions for methods and replies to messages and we
extend the Creol language to allow the specification of real time information. We provide an
algorithm for automatically translating Creol code annotated with this real time information to …