1. Akamai. 2017. The state of online retail performance. https://www.akamai.com/newsroom/press-release/akamai-releases-spring-2017-state-of-online-retail-performance-report Akamai. 2017. The state of online retail performance. https://www.akamai.com/newsroom/press-release/akamai-releases-spring-2017-state-of-online-retail-performance-report
2. Rajeev Alur . 1999. Timed Automata . In Computer Aided Verification, Nicolas Halbwachs and Doron Peled (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 8–22. isbn:978-3-540-48683-1 Rajeev Alur. 1999. Timed Automata. In Computer Aided Verification, Nicolas Halbwachs and Doron Peled (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 8–22. isbn:978-3-540-48683-1
3. Rajeev Alur , Costas Courcoubetis , and David Dill . 1993. Model-checking in dense real-time. Information and computation, 104, 1 ( 1993 ), 2–34. Rajeev Alur, Costas Courcoubetis, and David Dill. 1993. Model-checking in dense real-time. Information and computation, 104, 1 (1993), 2–34.
4. Rajeev Alur and David L Dill . 1994. A theory of timed automata. Theoretical computer science, 126, 2 ( 1994 ), 183–235. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science, 126, 2 (1994), 183–235.