{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:22Z","timestamp":1725550642591},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_16","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"242-256","source":"Crossref","is-referenced-by-count":0,"title":["The Timer Cascade: Functional Modelling and Real Time Calculi"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Boute","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","first-page":"131","volume-title":"Teaching and Learning Formal Methods","author":"V.L. Almstrum","year":"1996","unstructured":"Almstrum, V.L.: Investigating Student Difficulties With Mathematical Logic. In: Neville Dean, C., Hinchey, M.G. (eds.) Teaching and Learning Formal Methods, pp. 131\u2013160. Academic Press, London (1996)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems III","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Sontag, E.D. (eds.): HS 1995. LNCS, vol.\u00a01066. Springer, Heidelberg (1996)"},{"key":"16_CR3","volume-title":"The Elements of Real Analysis","author":"R.G. Bartle","year":"1964","unstructured":"Bartle, R.G.: The Elements of Real Analysis. Wiley, New York (1964)"},{"key":"16_CR4","unstructured":"Boute, R.T.: Funmath illustrated: A Declarative Formalism and Application Examples. Declarative Systems Series No. 1, Computing Science Institute, University of Nijmegen (1993)"},{"key":"16_CR5","unstructured":"Boute, R.: Functional Mathematics: a Unifying Declarative and Calculational Approach to Systems, Circuits and Programs \u2014 Part I: Basic Mathematics, Course text, Ghent University (2002)"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-0-387-35672-3_5","volume-title":"Generic Programming","author":"R.T. Boute","year":"2003","unstructured":"Boute, R.T.: Concrete Generic Functionals: Principles, Design and Applications. In: Gibbons, J., Jeuring, J. (eds.) Generic Programming, pp. 89\u2013119. Kluwer, Dordrecht (2003)"},{"key":"16_CR7","unstructured":"Boute, R.: Functional declarative language design and predicate calculus: a practical approach. To appear in ACM Trans. Prog. Lang. and Syst."},{"key":"16_CR8","unstructured":"Boute, R.: Calculational semantics: deriving programming theories from equations by functional predicate calculus. To appear in ACM Trans. Prog. Lang. and Syst."},{"key":"16_CR9","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, spec. issue on Simulation Software Development (January 1994)"},{"issue":"5","key":"16_CR10","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. IPL\u00a040(5), 269\u2013276 (1991)","journal-title":"IPL"},{"key":"16_CR11","unstructured":"Dijkstra, E.W.: Under the spell of Leibniz\u2019s dream. In: EWD1298 (April 2000)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054289","volume-title":"Mathematics of Program Construction","author":"R.M. Dijkstra","year":"1998","unstructured":"Dijkstra, R.M.: Computation calculus: Bridging a formalization gap. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, pp. 151\u2013174. Springer, Heidelberg (1998)"},{"issue":"4","key":"16_CR13","first-page":"29","volume":"29","author":"D. Gries","year":"1996","unstructured":"Gries, D.: The need for education in useful formal logic. IEEE Computer\u00a029(4), 29\u201330 (1996)","journal-title":"IEEE Computer"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-30472-2_11","volume-title":"Teaching Formal Methods","author":"H. Habrias","year":"2004","unstructured":"Habrias, H., Faucou, S.: Linking Paradigms, Semi-formal and Formal Notations. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 166\u2013184. Springer, Heidelberg (2004)"},{"key":"16_CR15","series-title":"EATCS: Monographs in Theoretical Computer Science","volume-title":"Duration Calculus: A Formal Approach to Real-Time Systems","author":"M.R. Hansen","year":"2004","unstructured":"Hansen, M.R., Chaochen, Z.: Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)"},{"key":"16_CR16","unstructured":"Krilavi\u010dius, T.: Bestiarium of Hybrid Systems (draft March 2005), \n                    \n                      http:\/\/wwwhome.cs.utwente.nl\/~krilaviciust\/publications\/bestiarium.pdf"},{"key":"16_CR17","volume-title":"Structure and Interpretation of Signals and Systems","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems. Addison-Wesley, Reading (2003)"},{"key":"16_CR18","unstructured":"Pandya, P.K.: Specifying and deciding qauntified discrete-time duration calculus formulae using dcvalid. Technical report, Tata Institute of Fundamental Research (2000)"},{"issue":"6","key":"16_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/773473.178254","volume":"29","author":"W. Pugh","year":"1994","unstructured":"Pugh, W.: Counting Solutions to Presburger Formulas: How and Why. ACM SIGPLAN Notices\u00a029(6), 121\u2013122 (1994)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b94154","volume-title":"FME 2003: Formal Methods","author":"A. Sch\u00e4fer","year":"2003","unstructured":"Sch\u00e4fer, A.: Combining Real-Time Model-Checking and Fault Tree Analysis. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, Springer, Heidelberg (2003), \n                    \n                      http:\/\/csd.Informatik.Uni-Oldenburg.DE\/pub\/Papers\/as03.pdf"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-31862-0_33","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"A. Sch\u00e4fer","year":"2005","unstructured":"Sch\u00e4fer, A.: A Calculus for Shapes in Time and Space. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 463\u2013477. Springer, Heidelberg (2005)"},{"key":"16_CR22","unstructured":"Smith, G.: Specifying Mode Requiremens of Embedded Systems. In: Oudshoorn, M., et al. (eds.) ACSC 2002, January\u2013February 2002, pp. 251\u2013257 (2002), Also \n                    \n                      http:\/\/www.itee.uq.edu.au\/~smith\/papers\/acsc2002.pdf"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"1999","unstructured":"Vaandrager, F.W., van Schuppen, J.H. (eds.): HSCC 1999. LNCS, vol.\u00a01569. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T02:45:04Z","timestamp":1552445104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11560647_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}