{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:30Z","timestamp":1725472050084},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387236308"},{"type":"electronic","value":"9780387283272"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-28327-7_18","type":"book-chapter","created":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T15:33:06Z","timestamp":1162308786000},"page":"207-219","source":"Crossref","is-referenced-by-count":0,"title":["Development of Embedded Systems Using Oort"],"prefix":"10.1007","author":[{"given":"S\u00e9rgio","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Adriano","family":"Tavares","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"ObjectGEODE Method Guidelines","author":"Verilog","year":"1996","unstructured":"Verilog, ObjectGEODE Method Guidelines. Verilog, SA (1996)."},{"key":"18_CR2","unstructured":"Object Management Group, Unified Modeling Language Specification vl.3 (March 2000); http:\/\/www.omg.org."},{"key":"18_CR3","unstructured":"ITU-T, Recommendation Z.120: Message Sequence Chart (October 1996); http:\/\/www.itu.int."},{"key":"18_CR4","unstructured":"ITU-T, Recommendation Z.100: Specification and Description Language (March 1993); http:\/\/www.itu.int."},{"key":"18_CR5","unstructured":"ITU-T, Recommendation Z.100 Appendix 1:SDL Methodology Guidelines (March 1994); http:\/\/www.itu.int."},{"key":"18_CR6","unstructured":"ITU-T Recommendation Z.100 Addendum 1 (October 1996); http:\/\/www.itu.int."},{"key":"18_CR7","unstructured":"UML Revision Task Force, Object Modeling with OMG UML Tutorial Series (November 2000); http:\/\/www.omg.org\/technology\/uml\/uml tutorial.htm."},{"key":"18_CR8","unstructured":"ITU-T, Recommendation Z.100 Supplement 1: SDL + Methodology: Use of MSC and SDL (with ASN.1) (May 1997); http:\/\/www.itu.int."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"E. Rudolph, P. Graubmann, J. Grabowski, Tutorial on message sequence charts. Computer Networks and ISDN Systems\n                28(12) (1996).","DOI":"10.1016\/0169-7552(95)00122-0"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"O. Faergemand, A. Olsen, Introduction to SDL-92. Computer Networks and ISDN Systems, 26(9) (1994).","DOI":"10.1016\/0169-7552(94)90016-7"},{"key":"18_CR11","unstructured":"A. Olsen, O. Faergemand, B. Moller-Pedersen, R. Reed, J.R.W. Smith, Systems Engineering Using SDL-92. North Holland (1994)."},{"key":"18_CR12","unstructured":"E. Yourdon, Object-Oriented Systems Design: An Integrated Approach. Prentice Hall (1994)."},{"key":"18_CR13","unstructured":"B.P. Douglass, Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley (1998)."},{"key":"18_CR14","unstructured":"V. Encontre, How to use modeling to implement verifiable, scalable, and efficient realtime application programs. Real-Time Engineering (Fall 1997)."},{"key":"18_CR15","volume-title":"ObjectGEODE SDL Simulator Reference Manual","author":"Verilog","year":"1996","unstructured":"Verilog, ObjectGEODE SDL Simulator Reference Manual. Verilog, SA (1996)."},{"key":"18_CR16","unstructured":"J.M. Daveau, G.F. Marchioro, T. Ben-Ismail, A.A. Jerraya, Cosmos: An SDL based hardware\/software codesign environment. In J.-M. Berg\u00e9, O. Levia, J. Rouillard (eds.), Hardware\/Software Co-design and Co-Verification, Kluwer Academic Publishers (1997) pp. 59\u201387."}],"container-title":["Design of Embedded Control Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-28327-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:10:08Z","timestamp":1619500208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-28327-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387236308","9780387283272"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/0-387-28327-7_18","relation":{},"subject":[]}}