1. Johnny Accot Stéphane Chatty Sébastien Maury and Philippe Palanque. 1997. Formal Transducers Models of Devices and Building Bricks for the Design of Highly Interactive Systems. https//doi.org/10.1007/978-3-7091-6878-3_10 Johnny Accot Stéphane Chatty Sébastien Maury and Philippe Palanque. 1997. Formal Transducers Models of Devices and Building Bricks for the Design of Highly Interactive Systems. https//doi.org/10.1007/978-3-7091-6878-3_10
2. Rajeev Alur and David L. Dill. 1994. A theory of timed automata. Theoretical Computer Science(1994). https//doi.org/10.1016/0304-3975(94)90010-8 Rajeev Alur and David L. Dill. 1994. A theory of timed automata. Theoretical Computer Science(1994). https//doi.org/10.1016/0304-3975(94)90010-8
3. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https//doi.org/10.1007/3-540-63141-0_7;Andersen Henrik Reif
4. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https//doi.org/10.1007/978-3-319-19195-9_6;Arbach Youssef
5. Jos C.M. Baeten Bas Luttik and Paul Van Tilburg. 2013. Reactive turing machines. Information and Computation(2013). https//doi.org/10.1016/j.ic.2013.08.010 Jos C.M. Baeten Bas Luttik and Paul Van Tilburg. 2013. Reactive turing machines. Information and Computation(2013). https//doi.org/10.1016/j.ic.2013.08.010