{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T22:49:57Z","timestamp":1754261397435},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210103","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"183-195","source":"Crossref","is-referenced-by-count":2,"title":["Modular hierarchies of models for embedded systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Broy","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref10"},{"article-title":"Object-Oriented Software Engineering","year":"1992","author":"jacobsen","key":"ref11"},{"key":"ref12","first-page":"471","author":"kahn","year":"1974","journal-title":"Information Processing 74 Proc of the IFIP Congress 74"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science 92"},{"year":"0","key":"ref14","first-page":"35"},{"year":"1995","key":"ref15"},{"journal-title":"Real-time Objectoriented Modeling","year":"1994","author":"selic","key":"ref16"},{"journal-title":"Object-Oriented Modelling and Design","year":"1991","author":"rumbaugh","key":"ref17"},{"article-title":"Formale Methodik des Entwurfs verteilter objektorientierter Systeme","year":"0","author":"rumpe","key":"ref18"},{"journal-title":"Recommendation Z 100 Technical Report CCITT","year":"1988","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63010-4_4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211434"},{"key":"ref6","article-title":"Specification and Development of interactive Systems: Focus on Streams","author":"broy","year":"2001","journal-title":"Interfaces and Refinement"},{"key":"ref5","article-title":"A Graphical Description Technique for Communication in Software Architectures","author":"broy","year":"0","journal-title":"Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97\/ICSC'97)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref7","article-title":"The Esterel Synchronous Programming Language: Design, Semantics, Implementation","author":"berry","year":"1988","journal-title":"INRIA Research Report"},{"article-title":"Object Oriented Design with Applications","year":"1991","author":"booch","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-77572-7_13"},{"key":"ref9","article-title":"Zur Übersetzung von E\/R-Schemata nach Spectrum","author":"hettler","year":"1994","journal-title":"Technischer Bericht TUM-19409"},{"article-title":"The Requirement and Design Specification Language Spectrum. An informal introduction","year":"1993","author":"broy","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"journal-title":"The Unified Modeling Language for Object-Oriented Development","year":"0","author":"booch","key":"ref21"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210103.pdf?arnumber=1210103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:18:20Z","timestamp":1497583100000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210103\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210103","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}