1. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks. In: POPL, pp. 113–126. ACM (2014)

    Google Scholar 

  2. Berstel, J., Reutenauer, C.: Les Séries Rationnelles et Leurs Langagues. Masson (1984)

    Google Scholar 

  3. Broy, M.: Refinement of time. Theor. Comput. Sci. 253(1), 3–26 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cataldo, A., Lee, E., Liu, X., Matsikoudis, E., Zheng, H.: A constructive fixed-point theorem and the feedback semantics of timed systems. In: Discrete Event Systems, pp. 27–32, July 2006

    Google Scholar 

  5. Dongol, B., Derrick, J.: Interval-based data refinement: a uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program. 111, 214–247 (2015)

    Article  Google Scholar 

  6. Dongol, B., Gomes, V.B.F., Struth, G.: A Program Construction and Verification Tool for Separation Logic. In: Hinze, R., Voigtländer, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 137–158. Springer, Heidelberg (2015). doi:10.1007/978-3-319-19797-5_7

    Chapter  Google Scholar 

  7. Dongol, B., Hayes, I.J., Meinicke, L., Solin, K.: Towards an Algebra for Real-Time Programs. In: Kahl, W., Griffin, T.G. (eds.) RAMICS 2012. LNCS, vol. 7560, pp. 50–65. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33314-9_4

    Chapter  Google Scholar 

  8. Dongol, B., Hayes, I.J., Struth, G.: Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. ACM Trans. Comput. Log. 17(3), 15 (2016)

    Article  MathSciNet  Google Scholar 

  9. Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  10. Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. J. Appl. Non-Classical Logics 14(1–2), 9–54 (2004)

    Article  MATH  Google Scholar 

  11. Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996, pp. 278–292. IEEE Computer Society, Washington, DC (1996)

    Google Scholar 

  12. Hoare, T., van Staden, S.: In praise of algebra. Formal Asp. Comput. 24(4–6), 423–431 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Höfner, P., Möller, B.: Algebraic neighbourhood logic. J. Log. Algebr. Program. 76(1), 35–59 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Höfner, P., Möller, B.: An algebra of hybrid systems. J. Log. Algebr. Program. 78(2), 74–97 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Lynch, N., Segala, R., Vaandraager, F.: Hybrid I/O automata. Inf. Comput. 185(1), 105–157 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  16. Moszkowski, B.C.: A complete axiomatization of interval temporal logic with infinite time. In: LICS, pp. 241–252 (2000)

    Google Scholar 

  17. Müller, O., Scholz, P.: Functional specification of real-time and hybrid systems. In: Maler, O. (ed.) HART 1997. LNCS, vol. 1201, pp. 273–285. Springer, Heidelberg (1997). doi:10.1007/BFb0014732

    Chapter  Google Scholar 

  18. Rönkkö, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theor. Comput. Sci. 290, 937–973 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  19. Zhou, C., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2004)

    MATH  Google Scholar