{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:43:57Z","timestamp":1649015037815},"reference-count":26,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"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":[[1994,7]]},"DOI":"10.1016\/0950-5849(94)90068-x","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:40:25Z","timestamp":1062603625000},"page":"449-456","source":"Crossref","is-referenced-by-count":6,"title":["Engineering safety-related parallel systems"],"prefix":"10.1016","volume":"36","author":[{"given":"CI","family":"Birkinshaw","sequence":"first","affiliation":[]},{"given":"PR","family":"Croll","sequence":"additional","affiliation":[]},{"given":"DG","family":"Marriott","sequence":"additional","affiliation":[]},{"given":"PA","family":"Nixon","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(94)90068-X_BIB1","series-title":"Safety related computer controlled systems market study","year":"1992"},{"key":"10.1016\/0950-5849(94)90068-X_BIB2","series-title":"Requirements for the procurement of safety critical software in defence equipment (Interim Defence Standard 00\u201355)","year":"1989"},{"issue":"No 2","key":"10.1016\/0950-5849(94)90068-X_BIB3","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1049\/sej.1991.0005","article-title":"Forwards to safety standards","volume":"Vol 6","author":"Bennett","year":"1991","journal-title":"Softw. Eng. J."},{"key":"10.1016\/0950-5849(94)90068-X_BIB4","series-title":"Safety-critical systems, formal methods and standards","author":"Bowen","year":"1992"},{"key":"10.1016\/0950-5849(94)90068-X_BIB5","series-title":"Transputer applications: progress and prospects","article-title":"Real-time control applications of transputers","author":"Irwin","year":"1992"},{"issue":"No 12","key":"10.1016\/0950-5849(94)90068-X_BIB6","first-page":"27","article-title":"Draft military standard 00\u201355","author":"May","year":"1990","journal-title":"Occam User Group Newsletter"},{"key":"10.1016\/0950-5849(94)90068-X_BIB7","series-title":"Benelux meeting on systems and control","article-title":"Parallel algorithms and safety-critical standards","author":"Welch","year":"1990"},{"key":"10.1016\/0950-5849(94)90068-X_BIB8","series-title":"Safety-Critical Systems, Current Issues, Technologies and Standards","first-page":"25","article-title":"Issues in the development of safety-critical systems","author":"McDermid","year":"1993"},{"issue":"No 2","key":"10.1016\/0950-5849(94)90068-X_BIB9","article-title":"Assessment of safety in nuclear plants","volume":"Vol 32","author":"Parnas","year":"1992","journal-title":"Nucl. Safety"},{"issue":"No 11","key":"10.1016\/0950-5849(94)90068-X_BIB10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/163359.163373","article-title":"Validation of ultrahigh dependability for software based systems","volume":"Vol 36","author":"Littlewood","year":"1993","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(94)90068-X_BIB11","series-title":"IEEE Proc. 2nd EuroMicro Workshop on Parallel and Distributed Processing","first-page":"317","article-title":"Three domain voting in real-time distributed systems","author":"Bass","year":"1994"},{"issue":"No 21","key":"10.1016\/0950-5849(94)90068-X_BIB12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","article-title":"Defining liveness","author":"Alpern","year":"1985","journal-title":"Information Processing Letters"},{"key":"10.1016\/0950-5849(94)90068-X_BIB13","series-title":"Proc. 7th Symposium on Principles of Programming Languages","first-page":"174","article-title":"\u2018\u201cSometime\u2019 is sometimes \u2018not never\u2019\u201d","author":"Lamport","year":"1980"},{"key":"10.1016\/0950-5849(94)90068-X_BIB14","series-title":"The correctness problem in computer science","article-title":"Temporal specification of concurrent programs: the temporal framework for concurrent programs","author":"Manna","year":"1981"},{"key":"10.1016\/0950-5849(94)90068-X_BIB15","series-title":"Lecture Notes in Computer Science","article-title":"Coloured Petri nets: a high level language for system design and analysis","author":"Jenson","year":"1990"},{"key":"10.1016\/0950-5849(94)90068-X_BIB16","year":"1992"},{"issue":"No 3","key":"10.1016\/0950-5849(94)90068-X_BIB17","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","article-title":"Safety analysis using Petri nets","volume":"Vol 13","author":"Leveson","year":"1987","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"No 8","key":"10.1016\/0950-5849(94)90068-X_BIB18","doi-asserted-by":"crossref","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"Vol 21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(94)90068-X_BIB19","series-title":"Technical momograph prg-75","article-title":"An introduction to timed CSP","author":"Davies","year":"1989"},{"key":"10.1016\/0950-5849(94)90068-X_BIB20","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/0165-6074(90)90272-B","article-title":"The specification and design of hard real-time systems using timed and temporal Petri nets","volume":"Vol 30","author":"Sagoo","year":"1990","journal-title":"Microprocessing Microprog."},{"issue":"No 2","key":"10.1016\/0950-5849(94)90068-X_BIB21","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1002\/cpe.4330050202","article-title":"Parallel program design using high-level Petri nets","volume":"Vol 5","author":"Gorton","year":"1993","journal-title":"Concurrency-Pract. Exper."},{"issue":"No 4","key":"10.1016\/0950-5849(94)90068-X_BIB22","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0967-0661(93)91386-B","article-title":"Safe, fault-tolerant and deterministic algorithms for real-time control","volume":"Vol 1","author":"Croll","year":"1993","journal-title":"Control Eng. Pract."},{"issue":"No 8","key":"10.1016\/0950-5849(94)90068-X_BIB23","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/359763.359798","article-title":"Toward a discipline of real-time programming","volume":"Vol 20","author":"Wirth","year":"1977","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(94)90068-X_BIB24","series-title":"Lecture Notes on Computer Science No 197","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","article-title":"The ESTEREL synchronous programming language and its mathematical semantics","author":"Berry","year":"1985"},{"key":"10.1016\/0950-5849(94)90068-X_BIB25","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0096-0551(86)90014-7","article-title":"Case study: PAISLey approach applied to its own software tools","author":"Zave","year":"1986","journal-title":"Comp. Lang."},{"key":"10.1016\/0950-5849(94)90068-X_BIB26","series-title":"Transputer and Occam Research: New Directions","first-page":"131","article-title":"The functional specification of Occam programs for time critical applications","author":"Nixon","year":"1993"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499490068X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499490068X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T11:58:17Z","timestamp":1551095897000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095058499490068X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":26,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["095058499490068X"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(94)90068-x","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}