{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:09:28Z","timestamp":1725480568825},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678229"},{"type":"electronic","value":"9783540449317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720123_7","type":"book-chapter","created":{"date-parts":[[2007,2,26]],"date-time":"2007-02-26T12:55:37Z","timestamp":1172494537000},"page":"55-79","source":"Crossref","is-referenced-by-count":0,"title":["Computer-Aided Analysis and Validation of Heterogeneous System Specifications"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Del Castillo","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"B\u00f6rger, E., Huggins, J.: Abstract State Machines 1988-1998: Commented ASM Bibliography. Bulletin of EATCS\u00a064 (February 1998)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: High level system design and analysis using Abstract State Machines. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 1\u201343. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48257-1_1"},{"key":"7_CR3","unstructured":"Damm, W., Hungar, H., Kelb, P., Schl\u00f6r, R.: Using graphical specification languages and symbolic model checking in the verification of a production cell. In: [10]"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Del Castillo, G.: Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 311\u2013325. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48257-1_21"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/BFb0025038","volume-title":"Computer Aided Systems Theory - EUROCAST \u201997","author":"U. Gl\u00e4sser","year":"1997","unstructured":"Gl\u00e4sser, U.: Modelling of concurrent and embedded systems. In: Moreno-D\u00edaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol.\u00a01333, pp. 108\u2013122. Springer, Heidelberg (1997)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: Towards a new formal SDL semantics based on Abstract State Machines. In: van Bochmann, G., Dssouli, R., Lahav, Y. (eds.) 9th SDL Forum Proceedings, pp. 171\u2013190. Elsevier Science B.V., Amsterdam (1999)","DOI":"10.1016\/B978-044450228-5\/50013-8"},{"key":"7_CR7","unstructured":"Gurevich, Y.: Evolving Algebas 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"7_CR8","unstructured":"Gurevich, Y.: The sequential ASM thesis. Bulletin of the EATCS (February 1999)"},{"key":"7_CR9","unstructured":"Heinkel, S., Lindner, T.: The Specification and Description Language applied with the SDT support tool. In: [10]"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems. LNCS, vol.\u00a0891. Springer, Heidelberg (1995)"},{"key":"7_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking.","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"7_CR12","unstructured":"Pichler, F.: Systems Theory for Macro-Architecting in the Computer- and Information Sciences. In: Trappl, R. (ed.) Cybernetics and Systems 1998, Vienna, pp. 50\u201353. Austrian Society for Cybernetic Studies (1998) ISBN 3-85206-139-3"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Popper, K.: Logik der Forschung (1935)","DOI":"10.1007\/978-3-7091-4177-9"},{"issue":"7","key":"7_CR14","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1109\/5.293155","volume":"82","author":"W.H. Wolf","year":"1994","unstructured":"Wolf, W.H.: Hardware-software co-design of embedded systems. Proceedings of the IEEE\u00a082(7), 967\u2013989 (1994)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR15","volume-title":"Hardware-software co-design of distributed embedded systems.","author":"W.H. Wolf","year":"1996","unstructured":"Wolf, W.H.: Hardware-software co-design of distributed embedded systems. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"7_CR16","unstructured":"The Formal Semantics of SDL. Technical report, Beijing University of Posts and Telecommunication, See http:\/\/tseg.bupt.edu.cn\/"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720123_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T22:58:37Z","timestamp":1556146717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720123_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678229","9783540449317"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/10720123_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}