{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:48:07Z","timestamp":1743094087109,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877844"},{"type":"electronic","value":"9783540877851"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87785-1_4","type":"book-chapter","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T01:22:11Z","timestamp":1222219331000},"page":"34-45","source":"Crossref","is-referenced-by-count":4,"title":["Formal Specification of Gateways in Integrated Architectures"],"prefix":"10.1007","author":[{"given":"R.","family":"Obermaisser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"The Sciences of the Artificial","author":"H.A. Simon","year":"1996","unstructured":"Simon, H.A.: The Sciences of the Artificial. MIT Press, Cambridge (1996)"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/2.976923","volume":"35","author":"G. Leen","year":"2002","unstructured":"Leen, G., Heffernan, D.: Expanding automotive electronic systems. Computer\u00a035(1), 88\u201393 (2002)","journal-title":"Computer"},{"key":"4_CR3","unstructured":"Gmbh, R.B.: Stuttgart, Germany. CAN Specification, Version 2.0 (1991)"},{"key":"4_CR4","unstructured":"FlexRay Consortium. BMW AG, DaimlerChrysler AG, General Motors Corporation, Freescale GmbH, Philips GmbH, Robert Bosch GmbH, and Volkswagen AG. FlexRay Communications System Protocol Specification Version 2.0 (July 2004)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Obermaisser, R.: A model-driven framework for the generation of gateways in distributed real-time systems. In: Proc.\u00a0of the 28th IEEE Real-Time Systems Symposium, Tucson, Arizona, USA (September 2007)","DOI":"10.1109\/RTSS.2007.9"},{"key":"4_CR6","first-page":"83","volume":"3","author":"R. Obermaisser","year":"2006","unstructured":"Obermaisser, R., Peti, P., Huber, B., El Salloum, C.: DECOS: An integrated time-triggered architecture. e&i journal (journal of the Austrian professional institution for electrical and information engineering)\u00a03, 83\u201395 (2006), http:\/\/www.springerlink.com","journal-title":"e&i journal (journal of the Austrian professional institution for electrical and information engineering)"},{"key":"4_CR7","volume-title":"Real-Time Systems, Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-30206-3_15","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"B. Dutertre","year":"2004","unstructured":"Dutertre, B., Sorea, M.: Modeling and verification of a fault-tolerant real-time startup protocol using calendar automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 199\u2013214. Springer, Heidelberg (2004)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Krcal, P., Mokrushin, L., Thiagarajan, P.S., Yi, W.: Timed vs time-triggered automata. In: Proc.\u00a0of the 15th International Conference on Concurrency Theory (September 2004)","DOI":"10.1007\/978-3-540-28644-8_22"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Kim, K.H.: Temporal uncertainties in interactions among real-time objects. In: Proc. of Ninth Symposium on Reliable Distributed Systems, Huntsville, AL,USA, October 1990, pp. 165\u2013174 (1990)","DOI":"10.1109\/RELDIS.1990.93962"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Huber, B., Peti, P., Obermaisser, R., El Salloum, C.: Using RTAI\/LXRT for partitioning in a prototype implementation of the DECOS architecture. In: Proc. of the Third Int.\u00a0Workshop on Intelligent Solutions in Embedded Systems (May 2005)","DOI":"10.1109\/WISES.2005.1438707"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Obermaisser, R., Peti, P.: Realization of virtual networks in the decos integrated architecture. In: Proc.\u00a0of the 14th Int.\u00a0Workshop on Parallel and Distributed Real-Time Systems (April 2006)","DOI":"10.1109\/IPDPS.2006.1639401"},{"key":"4_CR14","unstructured":"Time-Triggered Protocol TTP\/C \u2013 High Level Specification Document (July 2002)"},{"key":"4_CR15","unstructured":"Beal, D., et al.: RTAI: Real-Time Application Interface. Linux Journal (April 2000)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87785-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T01:12:11Z","timestamp":1557796331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87785-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540877844","9783540877851"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87785-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}