{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T17:37:17Z","timestamp":1765993037583},"reference-count":19,"publisher":"Elsevier BV","issue":"14","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1016\/s0950-5849(99)00072-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:22:28Z","timestamp":1027606948000},"page":"979-984","source":"Crossref","is-referenced-by-count":10,"title":["Software intensive embedded systems"],"prefix":"10.1016","volume":"41","author":[{"given":"M","family":"M\u00fcllerburg","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00072-5_BIB1","series-title":"Lectures on Embedded Systems","first-page":"395","article-title":"Embedded systems in consumer products","volume":"1494","author":"Bourgonjon","year":"1998"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00134682","article-title":"Embedded system design","volume":"1","author":"Camposano","year":"1996","journal-title":"Design Automation for Embedded Systems"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB3","series-title":"Doing Hard Time: Developing Real-time Systems with UML, Objects, Frameworks, and Patterns","author":"Douglass","year":"1999"},{"issue":"3","key":"10.1016\/S0950-5849(99)00072-5_BIB4","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modeled by finite-state machines","volume":"4","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB5","series-title":"Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA)","first-page":"109","article-title":"Protocol testing: review of methods and relevance for software testing","author":"Bochmann","year":"1994"},{"issue":"3","key":"10.1016\/S0950-5849(99)00072-5_BIB6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB7","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/2.248873","article-title":"TTP\u2014a protocol for fault-tolerant real-time systems","author":"Kopetz","year":"1994","journal-title":"IEEE Computer"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB8","series-title":"Synchronous Programming of Reactive Systems","author":"Halbwachs","year":"1993"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB9","article-title":"Towards an architecture for safety related fault tolerant systems in vehicles","author":"Dilger","year":"1997","journal-title":"ESREL'97"},{"issue":"September","key":"10.1016\/S0950-5849(99)00072-5_BIB10","article-title":"Synchronous languages provide safety in reactive system design","author":"Benveniste","year":"1994","journal-title":"Control Engineering"},{"issue":"9","key":"10.1016\/S0950-5849(99)00072-5_BIB11","doi-asserted-by":"crossref","DOI":"10.1109\/5.97297","article-title":"The synchronous approach to reactive and real-time systems","volume":"79","author":"Benveniste","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB12","unstructured":"R. Budde, A. Poign\u00e9, K.-H. Sylla, sE\u2014synchronousEifel, a design and programming environment, http:\/\/ais.gmd.de\/budde\/se_home.html, 1999."},{"key":"10.1016\/S0950-5849(99)00072-5_BIB13","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1023\/A:1008697810328","article-title":"The synchronous approach to designing reactive systems","volume":"12","author":"Poign\u00e9","year":"1998","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB14","series-title":"Eighth International Conference on Computer Aided Verification","first-page":"428","article-title":"VIS: a system for verification and synthesis","volume":"1102","year":"1996"},{"issue":"2","key":"10.1016\/S0950-5849(99)00072-5_BIB15","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB16","series-title":"Third International Conference on Algebraic Methodology and Software Technology, AMAST'93, Workshops in Computing","article-title":"Synchronous observers and the verification of reactive systems","author":"Halbwachs","year":"1993"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB17","first-page":"363","article-title":"Validating embedded system software","author":"M\u00fcllerburg","year":"1998","journal-title":"EuroSTAR98"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB18","series-title":"Hybrid and Real-Time Systems, HART'97","article-title":"What can we learn from synchronous data-flow languages?","volume":"1201","author":"Caspi","year":"1997"},{"key":"10.1016\/S0950-5849(99)00072-5_BIB19","first-page":"25","article-title":"Automotive electronics, present state and future prospects","author":"Kopetz","year":"1995","journal-title":"FTCS"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000725?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000725?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T18:22:08Z","timestamp":1556043728000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":19,"journal-issue":{"issue":"14","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["S0950584999000725"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00072-5","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}