{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:11:36Z","timestamp":1725577896681},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540364108"},{"type":"electronic","value":"9783540364115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11796435_4","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:56:43Z","timestamp":1153148203000},"page":"15-26","source":"Crossref","is-referenced-by-count":0,"title":["A UML Profile for Asynchronous Hardware Design"],"prefix":"10.1007","author":[{"given":"Kim","family":"Sandstr\u00f6m","sequence":"first","affiliation":[]},{"given":"Ian","family":"Oliver","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"High Assurance Software Engineering","author":"W.E. McUmber","year":"1999","unstructured":"McUmber, W.E., Cheng, B.H.C.: UML-Based Analysis of Embedded Systems using a Mapping to VHDL. In: High Assurance Software Engineering. IEEE, Los Alamitos (1999)"},{"key":"4_CR2","volume-title":"Handshake Solutions, High Tech Campus Eindhoven","author":"A. Peeters","year":"2005","unstructured":"Peeters, A., de Wit, M.: Handshake Solutions, High Tech Campus Eindhoven. Haste Manual, The Netherlands (2005)"},{"unstructured":"Hoare, C.A.R.: Communicating Sequential Processes 1985\u20132004","key":"4_CR3"},{"key":"4_CR4","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"unstructured":"Becker, U., Moldt, D.: University of Hamburg Fachbereich Informatik: Object-Oriented Concepts for Coloured Petri Nets. In: Conference Proceedings, IEEE International Conference on Systems, Man and Cybernetics (October 1993)","key":"4_CR5"},{"doi-asserted-by":"crossref","unstructured":"Christensen, L.M., Christensen, S., Jensen, K.: University of Aarhus, Denmark: The practitioner\u2019s guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer, 98\u2013132 (1998)","key":"4_CR6","DOI":"10.1007\/s100090050021"},{"key":"4_CR7","volume-title":"UML-B Specification for Proven Embedded Systems Design","author":"M. Marchetti","year":"2003","unstructured":"Marchetti, M., Oliver, I.: Towards a Conceptual Framework for UML to Hardware Description Language Mappings. In: UML-B Specification for Proven Embedded Systems Design. Kluwer, Dordrecht (2003)"},{"unstructured":"Diaz-Herrera, J.: An isomorphic mapping to SpecC in UML. In: Proceedings of OMER-2: Workshop on Object-oriented Modeling of Embedded Real-Time Systems (May 2001)","key":"4_CR8"},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/b105972","volume-title":"UML for Real - Design of Embedded Real-Time Systems","author":"L. Lavagno","year":"2003","unstructured":"Lavagno, L., Martin, G., Selic, B.: UML for Real - Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"4_CR10","volume-title":"Object-Oriented Technology for Real-Time Systems. A Practical Approach Using OMT and Fusion","author":"M. Awad","year":"1996","unstructured":"Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-Time Systems. A Practical Approach Using OMT and Fusion. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"4_CR11","volume-title":"Real-Time Object Oriented Modelling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object Oriented Modelling. Wiley, Chichester (1994)"},{"unstructured":"Lilius, J., Lillqvist, T., Lundkvist, T., Oliver, I., Porres, I., Sandstrom, K., Sveholm, G., Zaka1, A.P.: An Architecture Exploration Environment for System on Chip Design. Nordic Journal of Computing (2006)","key":"4_CR12"},{"unstructured":"Object Management Group, UML 2.0 Super Structure Specification, OMG ptc\/03-08-02 (2002)","key":"4_CR13"}],"container-title":["Lecture Notes in Computer Science","Embedded Computer Systems: Architectures, Modeling, and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11796435_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,29]],"date-time":"2021-07-29T19:30:31Z","timestamp":1627587031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11796435_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540364108","9783540364115"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11796435_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}