What is the title of the article that introduced timed automata?
timed automata
authored by Rajeev Alur. Aditya Kanade et al.: Representation dependence testing using program inversion. (2010) authored by Rajeev Alur. Zijiang Yang and Rajeev Alur: Variable Reuse for Efficient Image Computation. (2004) authored by Rajeev Alur. Kishor Jothimurugan et al.: Robust Subtask Learning for Compositional Generalization. (2023) authored by Raje Aaditya Naik et al.: Relational Query Synthesis <unk> Decision Tree Learning. (2017) authored by Rajeev Alur. Anton Xue et al.: Stability Guarantees for Feature Attributions with Multiplicative Smoothing. (2023) authored by Rajeev Alur. Rajeev Alur et al.: Hybrid Modeling and Simulation of Biomolecular Regulatory Networks. (2002) authored by Rajeev Alur. Rajeev Alur et al.: Decision Problems for Additive Regular Functions. (2013) authored by Rajeev Alur. Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. (2018) authored by Rajeev Alur. Sela Mador-Haim et al.: Generating Litmus Tests for Contrasting Memory Consistency Models. (2010) authored by Rajeev Alur. Zhihao Jiang et al.: Modeling and Verification of a Dual Chamber Implantable Pacemaker. (2012) authored by Raj Rajeev Alur was born in Pune and is a professor at UPenn. He holds the title of Zisman Family Professor at UPenn since 2003. He is the author of Symbolic Compositional Verification by Learning Assumptions. (2005) authored by Rajeev Alur. He citedByCount 29157.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What is the title of the article that introduced timed automata?
Context: authored by Rajeev Alur. Aditya Kanade et al.: Representation dependence testing using program inversion. (2010) authored by Rajeev Alur. Zijiang Yang and Rajeev Alur: Variable Reuse for Efficient Image Computation. (2004) authored by Rajeev Alur. Kishor Jothimurugan et al.: Robust Subtask Learning for Compositional Generalization. (2023) authored by Raje Aaditya Naik et al.: Relational Query Synthesis <unk> Decision Tree Learning. (2017) authored by Rajeev Alur. Anton Xue et al.: Stability Guarantees for Feature Attributions with Multiplicative Smoothing. (2023) authored by Rajeev Alur. Rajeev Alur et al.: Hybrid Modeling and Simulation of Biomolecular Regulatory Networks. (2002) authored by Rajeev Alur. Rajeev Alur et al.: Decision Problems for Additive Regular Functions. (2013) authored by Rajeev Alur. Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. Rajeev Alur and Mukund Raghothaman: Decision Problems for Additive Regular Functions. (2018) authored by Rajeev Alur. Sela Mador-Haim et al.: Generating Litmus Tests for Contrasting Memory Consistency Models. (2010) authored by Rajeev Alur. Zhihao Jiang et al.: Modeling and Verification of a Dual Chamber Implantable Pacemaker. (2012) authored by Raj Rajeev Alur was born in Pune and is a professor at UPenn. He holds the title of Zisman Family Professor at UPenn since 2003. He is the author of Symbolic Compositional Verification by Learning Assumptions. (2005) authored by Rajeev Alur. He citedByCount 29157.
[/INST] Answer:
