{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:21:26Z","timestamp":1760368886235,"version":"3.37.3"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,4,20]],"date-time":"2010-04-20T00:00:00Z","timestamp":1271721600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s11241-010-9094-5","type":"journal-article","created":{"date-parts":[[2010,4,19]],"date-time":"2010-04-19T20:29:16Z","timestamp":1271708956000},"page":"106-142","source":"Crossref","is-referenced-by-count":31,"title":["A timeband framework for modelling real-time systems"],"prefix":"10.1007","volume":"45","author":[{"given":"Alan","family":"Burns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian J.","family":"Hayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,4,20]]},"reference":[{"key":"9094_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J Allen","year":"1984","unstructured":"Allen J (1984) Towards a general theory of actions and time. Artif Intell 23:123\u2013154","journal-title":"Artif Intell"},{"key":"9094_CR2","first-page":"55","volume-title":"Contemporary ergonomics 2007","author":"G Baxter","year":"2007","unstructured":"Baxter G, Burns A, Tan K (2007) Evaluating timebands as a tool for structuring the design of socio-technical systems. In: Bust P (ed) Contemporary ergonomics 2007. Taylor & Francis, London, pp\u00a055\u201360"},{"issue":"2\/3","key":"9094_CR3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1177\/0961463X07080274","volume":"16","author":"M Bergada\u00e0","year":"2007","unstructured":"Bergada\u00e0 M (2007) Temporal frameworks and individual cultural activities: four typical profiles. Time Soc 16(2\/3):387\u2013408","journal-title":"Time Soc"},{"key":"9094_CR4","unstructured":"Bettini C, Dyreson CE, Evans WS, Snodgrass RT, Wang XS (1997) A glossary of time granularity concepts. In: Temporal databases, Dagstuhl, pp\u00a0406\u2013413"},{"key":"9094_CR5","first-page":"122","volume-title":"Organization at the limit","author":"S Blount","year":"2007","unstructured":"Blount S, Walker MJ, Leroy S (2007) Coping with temporal uncertainty: when rigid ambitious deadlines don\u2019t make sense. In: Organization at the limit. Springer, Berlin, pp 122\u2013134"},{"key":"9094_CR6","volume-title":"Relating time and causality in interactive distributed systems","author":"M Broy","year":"2008","unstructured":"Broy M (2008) Relating time and causality in interactive distributed systems. IOS Press, Amsterdam, pp\u00a075\u2013130"},{"key":"9094_CR7","first-page":"74","volume-title":"Structure for dependability","author":"A Burns","year":"2006","unstructured":"Burns A, Baxter GD (2006) Time bands in systems structure. In: Structure for dependability. Springer, Berlin, pp 74\u201390"},{"issue":"2","key":"9094_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A Burns","year":"1991","unstructured":"Burns A, Lister AM (1991) A framework for building dependable systems. Comput J 34(2):173\u2013181","journal-title":"Comput J"},{"key":"9094_CR9","unstructured":"Burns A, Hayes IJ, Baxter G, Fidge CJ (2005) Modelling temporal behaviour in complex socio-technical systems. Computer Science Technical Report YCS 390, University of York"},{"issue":"2\u20133","key":"9094_CR10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A Cavalcanti","year":"2003","unstructured":"Cavalcanti A, Sampaio A, Woodcock J (2003) A refinement strategy for circus. Form Asp Comput 15(2\u20133):146\u2013181","journal-title":"Form Asp Comput"},{"key":"9094_CR11","series-title":"Electronic workshops in computing","volume-title":"BCS-FACS 7th refinement workshop","author":"Z Chaochen","year":"1996","unstructured":"Chaochen Z, Hansen MR (1996) Chopping a point. In: BCS-FACS 7th refinement workshop. Electronic workshops in computing. Springer, Berlin"},{"key":"9094_CR12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen Z, Hoare CAR, Ravn AP (1991) A calculus of duration. Inf Process Lett 40:269\u2013276","journal-title":"Inf Process Lett"},{"key":"9094_CR13","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0167-6423(93)90025-K","volume":"20","author":"E Ciapessoni","year":"1993","unstructured":"Ciapessoni E, Corsetti E, Montanari A, San Pietro P (1993a) Embedding time granularity in a logical specification language for synchronous real-time systems. Sci Comput Program 20:141\u2013171","journal-title":"Sci Comput Program"},{"key":"9094_CR14","first-page":"141","volume-title":"6IWSSD: selected papers of the sixth international workshop on software specification and design","author":"E Ciapessoni","year":"1993","unstructured":"Ciapessoni E, Corsetti E, Montanari A, San Pietro P (1993b) Embedding time granularity in a logical specification language for synchronous real-time systems. In: 6IWSSD: selected papers of the sixth international workshop on software specification and design. Elsevier, Amsterdam, pp\u00a0141\u2013171"},{"key":"9094_CR15","unstructured":"Clifford J, Rao A (1987) A simple, general structure for temporal domains. In: Temporal aspects in information systems. AFCET, pp\u00a023\u201330"},{"issue":"1","key":"9094_CR16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1093\/logcom\/14.1.51","volume":"14","author":"C Combi","year":"2004","unstructured":"Combi C, Franceschet M, Peron A (2004) Representing and reasoning about temporal granularities. J Log Comput 14(1):51\u201377","journal-title":"J Log Comput"},{"issue":"2","key":"9094_CR17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00365335","volume":"3","author":"E Corsetti","year":"1991","unstructured":"Corsetti E, Montanari A, Ratto E (1991a) Dealing with different time granularities in formal specifications of real-time systems. J Real-Time Syst 3(2):191\u2013215","journal-title":"J Real-Time Syst"},{"key":"9094_CR18","unstructured":"Corsetti E, Montanari A, Ratto E (1991b) Time granularity in logical specifications. In: Proceedings of the 6th Italian conference on logic programming, Pisa, Italy"},{"key":"9094_CR19","volume-title":"The psychology of time","author":"P Fraisse","year":"1963","unstructured":"Fraisse P (1963) The psychology of time. Harper and Row, New York"},{"issue":"5\u20136","key":"9094_CR20","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1017\/S147106840400208X","volume":"4","author":"M Franceschet","year":"2004","unstructured":"Franceschet M, Montanari A (2004) Temporalized logics and automata for time granularity. Theory Pract Log Program 4(5\u20136):621\u2013658","journal-title":"Theory Pract Log Program"},{"key":"9094_CR21","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/11813040_9","volume-title":"FM","author":"A Freitas","year":"2006","unstructured":"Freitas A, Cavalcanti A (2006) Automatic translation from circus to java. In: Misra J, Nipkow T, Sekerinski E (eds) FM. Lecture notes in computer science, vol 4085. Springer, Berlin, pp 115\u2013130"},{"key":"9094_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1050.001.0001","volume-title":"About time: inventing the fourth dimension","author":"W Friedman","year":"1990","unstructured":"Friedman W (1990) About time: inventing the fourth dimension. MIT Press, Cambridge"},{"issue":"6","key":"9094_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1667062.1667063","volume":"42","author":"CA Furia","year":"2010","unstructured":"Furia CA, Mandrioli D, Morzenti A, Rossi M (2010) Modeling time in computing: a taxonomy and a comparative survey. ACM Comput Surv 42(6):1\u201359","journal-title":"ACM Comput Surv"},{"key":"9094_CR24","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0036915","volume-title":"ICALP","author":"JY Halpern","year":"1983","unstructured":"Halpern JY, Manna Z, Moszkowski BC (1983) A hardware semantics based on temporal intervals. In: D\u00edaz J (ed) ICALP. Lecture notes in computer science, vol 154. Springer, Berlin, pp 278\u2013291"},{"volume-title":"Specification case studies","year":"1987","key":"9094_CR25","unstructured":"Hayes IJ (ed) (1987) Specification case studies. Prentice-Hall, New York"},{"key":"9094_CR26","unstructured":"Hobbs J (1985) Granularity. In: Proceedings of the ninth international joint conference on artificial intelligence, Los Angeles, California, pp\u00a0432\u2013435"},{"key":"9094_CR27","volume-title":"Human reliability analysis: context and control","author":"E Hollnagel","year":"1993","unstructured":"Hollnagel E (1993) Human reliability analysis: context and control. Academic Press, New York"},{"key":"9094_CR28","unstructured":"Hughes GE, Cresswell MJ (1968) An introduction to modal logic. University Paperbacks, Routledge"},{"key":"9094_CR29","doi-asserted-by":"crossref","unstructured":"Hutchesson SG, Hayes N (1998) Technology transfer and certification issues in safety critical real-time systems. In: Digest of the IEE colloquium on real-time systems, vol\u00a098\/306, April 1998","DOI":"10.1049\/ic:19980523"},{"key":"9094_CR30","doi-asserted-by":"crossref","unstructured":"Jahanian F, Mok AK (1986) Safety analysis of timing properties in real-time systems. Trans Softw Eng SE-12(9)","DOI":"10.1109\/TSE.1986.6313045"},{"key":"9094_CR31","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/978-3-540-75221-9_16","volume-title":"Formal methods and hybrid real-time systems","author":"CB Jones","year":"2007","unstructured":"Jones CB, Hayes IJ, Jackson MA (2007) Deriving specifications for systems that are connected to the physical world. In: Cliff JB, Liu Z, Woodcock J (eds) Formal methods and hybrid real-time systems. Lecture notes in computer science, vol 4700. Springer, Berlin, pp 364\u2013390"},{"volume-title":"Real-time systems: specification, verification and analysis","year":"1996","key":"9094_CR32","unstructured":"Joseph M (ed) (1996) Real-time systems: specification, verification and analysis. Prentice-Hall, New York"},{"issue":"7","key":"9094_CR33","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565","journal-title":"Commun ACM"},{"key":"9094_CR34","volume-title":"A geography of time","author":"R Levine","year":"1997","unstructured":"Levine R (1997) A geography of time. Guilford Press, New York"},{"issue":"9","key":"9094_CR35","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1109\/32.159841","volume":"SE-18","author":"B Mahony","year":"1992","unstructured":"Mahony B, Hayes IJ (1992) A case_study in timed refinement: a mine pump. IEEE Trans Softw Eng SE-18(9):817\u2013826","journal-title":"IEEE Trans Softw Eng"},{"key":"9094_CR36","doi-asserted-by":"crossref","unstructured":"Montanari A, Ratto E, Corsetti E, Morzenti A (1991) Embedding time granularity in logical specifications of real-time systems. In: Proceedings of the third euromicro workshop on real-time systems, Paris, France","DOI":"10.1109\/EMWRT.1991.144087"},{"key":"9094_CR37","unstructured":"Moszkowski B (1983) Reasoning about digital circuits. PhD thesis, Department of Computer Science, Stanford University (Available as technical report STAN-CS-83-970)"},{"key":"9094_CR38","volume-title":"Executing temporal logic programs","author":"B Moszkowski","year":"1986","unstructured":"Moszkowski B (1986) Executing temporal logic programs. Cambridge University Press, Cambridge"},{"key":"9094_CR39","volume-title":"Unified theories of cognition","author":"A Newell","year":"1990","unstructured":"Newell A (1990) Unified theories of cognition. Harvard University Press, Cambridge"},{"key":"9094_CR40","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"NJ Nilsson","year":"1994","unstructured":"Nilsson NJ (1994) Teleo-reactive programs for agent control. J Artif Intell Res 1:139\u2013158","journal-title":"J Artif Intell Res"},{"key":"9094_CR41","first-page":"99","volume":"5","author":"NJ Nilsson","year":"2001","unstructured":"Nilsson NJ (2001) Teleo-reactive programs and the triple-tower architecture. Electron Trans Artif Intell 5:99\u2013110","journal-title":"Electron Trans Artif Intell"},{"issue":"1\u20132","key":"9094_CR42","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00165-007-0052-5","volume":"21","author":"M Oliveira","year":"2009","unstructured":"Oliveira M, Cavalcanti A, Woodcock J (2009) A UTP semantics for ircus. Form Asp Comput 21(1\u20132):3\u201332","journal-title":"Form Asp Comput"},{"key":"9094_CR43","author":"MVM Oliveira","year":"2007","unstructured":"Oliveira MVM, Cavalcanti A, Woodcock J (2007) Unifying theories in ProofPowerZ. Form Asp Comput. doi: 10.1007\/s00165-007-0044-5","journal-title":"Form Asp Comput"},{"key":"9094_CR44","doi-asserted-by":"crossref","DOI":"10.5040\/9798400630002","volume-title":"The concept of time in psychology: a resource book and annotated bibliography","author":"JE Roeckelein","year":"2000","unstructured":"Roeckelein JE (2000) The concept of time in psychology: a resource book and annotated bibliography. Greenwood Press, Westport"},{"issue":"3","key":"9094_CR45","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1177\/001872088502700305","volume":"27","author":"W Schneider","year":"1985","unstructured":"Schneider W (1985) Training high-performance skills: fallacies and guidelines. Hum Factors 27(3):285\u2013300","journal-title":"Hum Factors"},{"key":"9094_CR46","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/3-540-36103-0_62","volume-title":"ICFEM","author":"A Sherif","year":"2002","unstructured":"Sherif A, He J (2002) Towards a time model for circus. In: George C, Miao H (eds) ICFEM. Lecture notes in computer science, vol 2495. Springer, Berlin, pp 613\u2013624"},{"key":"9094_CR47","volume-title":"The science of the artificial","author":"HA Simon","year":"1996","unstructured":"Simon HA (1996) The science of the artificial, 3rd edn. MIT Press, Cambridge","edition":"3"},{"key":"9094_CR48","volume-title":"The Z notation: a reference manual","author":"JM Spivey","year":"1992","unstructured":"Spivey JM (1992) The Z notation: a reference manual, 2nd edn. Prentice Hall International, Englewood Cliffs","edition":"2"},{"key":"9094_CR49","volume-title":"PDPTA","author":"PH Welch","year":"2000","unstructured":"Welch PH (2000) Process oriented design for Java: concurrency for all. In: Arabnia HR (ed) PDPTA. CSREA Press, Las Vegas"},{"key":"9094_CR50","unstructured":"White R (2010) Capturing the temporal properties of complex systems: an evaluation of the timebands approach. PhD thesis, University of York, Computer Science, York, UK"},{"key":"9094_CR51","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB","author":"J Woodcock","year":"2002","unstructured":"Woodcock J, Cavalcanti A (2002) The semantics of circus. In: Bert D, Bowen JP, Henson MC, Robinson K (eds) ZB. Lecture notes in computer science, vol 2272. Springer, Berlin, pp 184\u2013203"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-010-9094-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-010-9094-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-010-9094-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T02:25:32Z","timestamp":1740018332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-010-9094-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,20]]},"references-count":51,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["9094"],"URL":"https:\/\/doi.org\/10.1007\/s11241-010-9094-5","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2010,4,20]]}}}