{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T13:16:45Z","timestamp":1648991805254},"reference-count":37,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1016\/s0950-5849(99)00012-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:22:28Z","timestamp":1027606948000},"page":"435-450","source":"Crossref","is-referenced-by-count":0,"title":["Integrating structured OO approaches with formal techniques for the development of real-time systems"],"prefix":"10.1016","volume":"41","author":[{"given":"Z.","family":"Chen","sequence":"first","affiliation":[]},{"given":"A.","family":"Cau","sequence":"additional","affiliation":[]},{"given":"H.","family":"Zedan","sequence":"additional","affiliation":[]},{"given":"H.","family":"Yang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00012-9_BIB1","article-title":"Systematic software development using VDM","author":"Jones","year":"1986"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB2","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1989"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB3","article-title":"The B-method","volume":"552","author":"Abrial","year":"1991"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB4","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff, W.M. Wonham, A temporal logic approach to real time control, in: Proceedings of the 24th IEEE Conference on Decision and Control, Florida, December 1985 pp. 656\u2013657.","DOI":"10.1109\/CDC.1985.268574"},{"issue":"4","key":"10.1016\/S0950-5849(99)00012-9_BIB5","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-Time Systems"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB6","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, A. Pnueli, Explicit clock temporal logic, Proceedings of the 5th Annual Symposium on Logic in Computer Science, June 1990 pp. 402\u2013413.","DOI":"10.1109\/LICS.1990.113765"},{"issue":"2","key":"10.1016\/S0950-5849(99)00012-9_BIB7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","article-title":"A temporal logic for multilevel reasoning about hardware","volume":"18","author":"Moszkowski","year":"1985","journal-title":"Computer"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB8","unstructured":"C.A.R. Hoare, Communicating sequential processes, in: B. Shaw (Ed.), Digital Systems Design, Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar, September 6\u20139, 1977 pp. 145\u201356."},{"key":"10.1016\/S0950-5849(99)00012-9_BIB9","article-title":"A calculus of communicating systems","volume":"92","author":"Milner","year":"1980"},{"issue":"1\u20133","key":"10.1016\/S0950-5849(99)00012-9_BIB10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Information and Control"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB11","series-title":"The Formal Description Technique LOTOS","year":"1989"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB12","unstructured":"C.A. Petri, Communication with Automats, PhD Thesis, Univ. Bonn, West Germany, 1962."},{"key":"10.1016\/S0950-5849(99)00012-9_BIB13","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of communication protocols\u2014implications of a theoretical study","volume":"September","author":"Merlin","year":"1976","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB14","unstructured":"C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Technical Report MAC TR 120, MIT, February 1974."},{"key":"10.1016\/S0950-5849(99)00012-9_BIB15","unstructured":"M. Meldrum, P.Gu. Lejk, SSADM techniques: an introduction to version 4, Chartwell-Bratt, 1993."},{"key":"10.1016\/S0950-5849(99)00012-9_BIB16","series-title":"Modern Structured Analysis","author":"Yourdon","year":"1989"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB17","series-title":"System Development","author":"Jackson","year":"1983"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB18","series-title":"Real-Time Object-Oriented Modeling","author":"Celic","year":"1994"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB19","series-title":"HRT-HOOD: A Structured Design Method for Hard Real-Time Systems","author":"Burns","year":"1995"},{"issue":"5\/6","key":"10.1016\/S0950-5849(99)00012-9_BIB20","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0950-5849(95)99364-S","article-title":"Rigorous specification using structured systems analysis and Z","volume":"37","author":"Mander","year":"1995","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3540-1_15","article-title":"Using Yourdon and Z: an approach to formal specification","author":"Semmens","year":"1991"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB22","doi-asserted-by":"crossref","unstructured":"M.D. Fraser, etal., Informal and formal requirements specification languages: bridging the gap, IEEE Transactions on Software Engineering, 17 (5) 1991.","DOI":"10.1109\/32.90448"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB23","article-title":"A case for structured analysis\/formal design, VDM \u201991","volume":"551","author":"Plat","year":"1991"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB24","doi-asserted-by":"crossref","unstructured":"S. Liu, A.J. Offutt, Y. Sun, M. Ohba, SOFL: a formal engineering methodology for industrial applications, IEEE Transactions of Software Engineering, 24 (1) 1998.","DOI":"10.1109\/32.663996"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB25","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1093\/comjnl\/38.10.785","article-title":"Refinement of complex systems: a case study","volume":"38","author":"Lowe","year":"1995","journal-title":"The Computer Journal"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB26","article-title":"Real-time refinement: semantics and application","volume":"711","author":"Scholefield","year":"1993"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB27","article-title":"A predicative semantics for the refinement of real-time systems","volume":"802","author":"Scholefield","year":"1994"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB28","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0304-3975(94)90096-5","article-title":"A specification oriented semantics for the refinement of real-time systems","volume":"129","author":"Scholfield","year":"1994","journal-title":"Journal of Theoretical Computer Science"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB29","doi-asserted-by":"crossref","unstructured":"A. Cau, H. Zedan, N. Coleman, B. Moszkowski, Using ITL and Tempura for large scale specification and simulation, Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (1996).","DOI":"10.1109\/EMPDP.1996.500624"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB30","series-title":"Transformation-Based Reactive Systems Development","first-page":"79","article-title":"Refining interval temporal logic specifications","author":"Cau","year":"1997"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB31","series-title":"Hierarchical Object-Oriented Design","author":"Robinson","year":"1992"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB32","series-title":"Z User Workshop, Oxford","article-title":"Z++","author":"Lano","year":"1990"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB33","article-title":"Distributed system specification in VDM++","author":"Lano","year":"1995"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB34","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","article-title":"A calculus of durations","volume":"40","author":"Zhou","year":"1991","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB35","doi-asserted-by":"crossref","unstructured":"N.G. Levenson, P.R. Harvey, Analyzing software safety, IEEE Transactions on Software Engineering, SE-9 (9) 1983.","DOI":"10.1109\/TSE.1983.235116"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB36","doi-asserted-by":"crossref","unstructured":"Z. Chen, A. Cau, H. Zedan, H. Yang, A wide-spectrum language for object-based development of real-time systems, International Journal of Information Sciences, 1999.","DOI":"10.1016\/S0020-0255(99)00039-0"},{"key":"10.1016\/S0950-5849(99)00012-9_BIB37","doi-asserted-by":"crossref","unstructured":"A. Morzenti, P. Pietro, Object oriented logical specification of time critical systems, ACM TOSEM, vol. 3, January 1994.","DOI":"10.1145\/174634.174636"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000129?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000129?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T15:36:58Z","timestamp":1579016218000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":37,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["S0950584999000129"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00012-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}