{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:42Z","timestamp":1755221022711,"version":"3.43.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1023\/a:1007969017781","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:13:40Z","timestamp":1040541220000},"page":"183-202","source":"Crossref","is-referenced-by-count":6,"title":["Decomposition in Real-Time Safety-Critical Systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Paul","family":"Mukherjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Stavridou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"150389_CR1","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","volume":"8","author":"J. Bowen","year":"1993","unstructured":"Bowen, J., and Stavridou, V. 1993. Safety-critical systems, formal methods and standards. Software Engineering Journal 8(4): 189\u2013209.","journal-title":"Software Engineering Journal"},{"issue":"3","key":"150389_CR2","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1049\/sej.1986.0027","volume":"1","author":"I. F. Currie","year":"1986","unstructured":"Currie, I. F. 1986. Newspeak: an unexceptional language. Software Engineering Journal 1(3): 170\u2013176.","journal-title":"Software Engineering Journal"},{"key":"150389_CR3","doi-asserted-by":"crossref","unstructured":"Currie, I. F. 1989. NewSpeak\u2014a reliable programming language. In (Chris Sennett, ed.) High-integrity Software, Computer Systems Series, pp. 122\u2013158. Pitman.","DOI":"10.1007\/978-1-4684-5775-9_6"},{"key":"150389_CR4","unstructured":"Davies, J. W., and Schneider, S. 1992. A brief history of timed CSP. University of Oxford, Technical Report PRG-96."},{"key":"150389_CR5","doi-asserted-by":"crossref","unstructured":"Dawes, J. 1991. The VDM-SL Reference Guide. Pitman.","DOI":"10.1201\/9781482267419"},{"key":"150389_CR6","unstructured":"Fidge, C. J. 1993. Real-time refinement. FME '93: Industrial-Strength Formal Methods. Springer-Verlag Lecture Notes in Computer Science 670."},{"key":"150389_CR7","unstructured":"Froome, P. K. D. 1990. SpecBox. Adelard Software."},{"key":"150389_CR8","unstructured":"VDM-SL Tool Group. 1994. IFAD VDM-SL Toolbox."},{"key":"150389_CR9","doi-asserted-by":"crossref","unstructured":"Haase, V. H. 1981. Real-time behavior of programs. IEEE Transactions on Software Engineering 7(5).","DOI":"10.1109\/TSE.1981.231111"},{"issue":"1","key":"150389_CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0020-0190(89)90175-0","volume":"30","author":"E. C. R. Hehner","year":"1989","unstructured":"Hehner, E. C. R. 1989. Real-Time Programming. Information Processing Letters 30(1): 51\u201356.","journal-title":"Information Processing Letters"},{"key":"150389_CR11","doi-asserted-by":"crossref","unstructured":"J. Hooman. 1991. Specification and Compositional Verification of Real-Time systems. Ph.D. thesis, Eindhoven University of Technology. Available as Springer-Verlag Lecture Notes in Computer Science 558.","DOI":"10.1007\/3-540-54947-1"},{"key":"150389_CR12","unstructured":"Jones, C. B. 1990. Systematic Software Development Using VDM. Prentice-Hall International."},{"key":"150389_CR13","unstructured":"Kershaw, R. J. W. 1986. What is NewSpeak? Memorandum 403\u201386, RSRE."},{"key":"150389_CR14","volume-title":"The procurement of safety critical software in defence equipment","author":"MOD.","year":"1991","unstructured":"MOD. 1991. The procurement of safety critical software in defence equipment. Interim Standard 00\u201355 Issue 1, Ministry of Defence, Directorate of Standardization, Kentigern House, 65 Brown Street, Glasgow G2 8EX."},{"key":"150389_CR15","doi-asserted-by":"crossref","unstructured":"Moller, F., and Tofts, C. 1992. An overview of TCCS. University of Edinburgh Computer Science Department, Technical Report.","DOI":"10.1109\/EMWRT.1992.637478"},{"key":"150389_CR16","unstructured":"Morgan, C. C. 1990. Programming from Specifications. Prentice-Hall International."},{"key":"150389_CR17","unstructured":"Mukherjee, P. 1993. Rules for Orwellian Decomposition. University of Birmingham, Technical Report CSR\u201393\u201313."},{"key":"150389_CR18","doi-asserted-by":"crossref","unstructured":"Mukherjee, P. 1994. A semantics for NewSpeak in VDM-SL. In (T. Denvir, M. Naftalin, and M. Bertran, eds.), FME '94: Industrial Benefit of Formal Methods, Formal Methods Europe, Springer Verlag Lecture Notes in Computer Science 873.","DOI":"10.1007\/3-540-58555-9_111"},{"issue":"6","key":"150389_CR19","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01211002","volume":"7","author":"P. Mukherjee","year":"1995","unstructured":"Mukherjee, P., and Stavridou, V. 1995. A theory of Orwellian specifications with NewThink. Formal Aspects of Computing 7(6): 704\u2013727.","journal-title":"Formal Aspects of Computing"},{"key":"150389_CR20","doi-asserted-by":"crossref","unstructured":"Puschner, P., and Koza, C. 1989. Calculating the maximum execution time of real-time programs. Real-Time Systems 1(2).","DOI":"10.1007\/BF00571421"},{"key":"150389_CR21","unstructured":"Scholefield, D. J. 1992. A Refinement Calculus for Real-Time Systems. PhD thesis, University of York, Department of Computer Science. Available as Technical Report YCST 92\/07."},{"key":"150389_CR22","doi-asserted-by":"crossref","unstructured":"Shaw, A. C. 1989. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering 15(7).","DOI":"10.1109\/32.29487"},{"key":"150389_CR23","unstructured":"Skakkeb\u00e6k, J. U., and Sestoft, P. 1994. Checking validity of duration calculus formulas. Technical University of Denmark, ProCos II Project Report ID\/DTH JUS 3\/1."},{"issue":"5","key":"150389_CR24","first-page":"269","volume":"40","author":"C. C. Zhou","year":"1992","unstructured":"Zhou, C. C., Hoare, C. A. R., and Ravn, A. P. 1992. A calculus of durations. Information Processing Letters 40(5): 269\u2013276.","journal-title":"Information Processing Letters"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007969017781.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007969017781\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007969017781.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:14:50Z","timestamp":1754637290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007969017781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["150389"],"URL":"https:\/\/doi.org\/10.1023\/a:1007969017781","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}