{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T16:09:47Z","timestamp":1648742987724},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf01941126","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T10:23:42Z","timestamp":1122805422000},"page":"427-438","source":"Crossref","is-referenced-by-count":6,"title":["A design method for embedded software systems"],"prefix":"10.1007","volume":"28","author":[{"given":"Anders P.","family":"Ravn","sequence":"first","affiliation":[]},{"given":"Hans","family":"Rischel","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Henrik L\u00f8vengreen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01941126_CR1","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner and C. B. Jones,The Vienna Development Method: The Meta-Language, LNCS 61, Springer, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"BF01941126_CR2","unstructured":"D. Bj\u00f8rner and C. B. Jones,Formal Specification and Software Development, Prentice-Hall, 1982."},{"key":"BF01941126_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare and A. W. Roscoe,A theory of communicating sequential processes, Journal ACM 31, 560\u2013599, 1984.","journal-title":"Journal ACM"},{"key":"BF01941126_CR4","unstructured":"O. Caprani, S. Lauesen and U. Ougaard,Design principles for dedicated, data collecting programs, inLarge Scale Integration, Euromicro Symposium, North-Holland 1978."},{"key":"BF01941126_CR5","first-page":"188","volume":"259","author":"U. Gamwell Dawids","year":"1987","unstructured":"U. Gamwell Dawids and H. H. L\u00f8vengreen,Rigorous development of a distributed calendar system, inParallel Architectures and Languages Europe, LNCS 259, 188\u2013205, 1987.","journal-title":"LNCS"},{"key":"BF01941126_CR6","unstructured":"P. Brinch Hansen,The Architecture of Concurrent Programs, Prentice-Hall, 1977."},{"key":"BF01941126_CR7","unstructured":"Ed Brinksms (ed.),LOTOS \u2014 A formal description technique based on the temporal ordering of observational behaviour, ISO DIS 8807, 1987."},{"key":"BF01941126_CR8","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. Hoare","year":"1974","unstructured":"C. A. R. Hoare,Monitors: an operating system structuring concept, Comm. ACM 17, 549\u2013557, 1974.","journal-title":"Comm. ACM"},{"key":"BF01941126_CR9","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare,Communicating sequential processes, Comm. ACM 21, 666\u2013677, 1978.","journal-title":"Comm. ACM"},{"key":"BF01941126_CR10","unstructured":"M. Jackson,Principles of Program Design, Academic Press, 1975."},{"key":"BF01941126_CR11","unstructured":"M. Jackson,System Development, Prentice-Hall, 1983."},{"key":"BF01941126_CR12","doi-asserted-by":"crossref","unstructured":"I. Jacobson,FDL: a language for designing large real time systems, inInformation Processing 86, H.-J. Kugler (ed.), Elsevier Sc. Publ. (North-Holland), 1986.","DOI":"10.1145\/28697.28736"},{"key":"BF01941126_CR13","unstructured":"C. B. Jones,Systematic Software Development using VDM, Prentice-Hall, 1986."},{"key":"BF01941126_CR14","doi-asserted-by":"crossref","unstructured":"R. Milner,A Calculus of Communicating Systems, LNCS 92, Springer, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"BF01941126_CR15","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0165-6074(85)90032-8","volume":"15","author":"P. Naur","year":"1985","unstructured":"P. Naur,Programming as theory building, Microprocessing and Microprogramming 15, 253\u2013261, 1985.","journal-title":"Microprocessing and Microprogramming"},{"key":"BF01941126_CR16","unstructured":"D. L. Parnas, P. C. Clement and D. M. Weiss,The modular structure of complex systems, Proceedings of the 7th International Conference on Software Engineering, 408\u2013417, 1984."},{"key":"BF01941126_CR17","unstructured":"Anders P. Ravn, Hans Rischel and Benny G. Mortensen,Konstruktion af Form\u00e5lsbundne Systemer, (Danish), Teknisk Forlag, 1987."},{"key":"BF01941126_CR18","first-page":"312","volume":"SE-12","author":"P. Zave","year":"1986","unstructured":"P. Zave and W. Schell,Salient features of an executable specification language and its environment, IEEE Trans. SE-12, 312\u2013325, 1986.","journal-title":"IEEE Trans."}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941126.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941126\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:26:59Z","timestamp":1586352419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01941126"],"URL":"https:\/\/doi.org\/10.1007\/bf01941126","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}