{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T23:09:05Z","timestamp":1683068945296},"reference-count":14,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,1,1]]},"DOI":"10.2478\/s13537-011-0008-y","type":"journal-article","created":{"date-parts":[[2011,3,24]],"date-time":"2011-03-24T15:25:25Z","timestamp":1300980325000},"source":"Crossref","is-referenced-by-count":9,"title":["A vision for computer science \u2014 the system perspective"],"prefix":"10.2478","volume":"1","author":[{"given":"Joseph","family":"Sifakis","sequence":"first","affiliation":[]}],"member":"374","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.2007.364","volume":"40","author":"T.A. Henzinger","year":"2007","unstructured":"Henzinger T.A., Sifakis J., The Discipline of Embedded Systems Design, COMPUTER, 2007, 40, 36\u201344","journal-title":"COMPUTER"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Lee E.A., Cyber Physical Systems: Design Challenges, 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008) (5\u20137 May 2008, Orlando, Florida, USA) IEEE Computer Society, 2008, 363\u2013369","DOI":"10.1109\/ISORC.2008.25"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S., The Algorithmic Analysis of Hybrid Systems, THEOR COMPUT SCI, 1995, 138, 3\u201334","journal-title":"THEOR COMPUT SCI"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Sifakis J., A Framework for Component-based Construction, Aichernig B.K., Beckert B. (Eds.), 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM05) (7\u20139 September 2005, Koblenz, Germany) IEEE Computer Society, 2005, 293\u2013300","DOI":"10.1109\/SEFM.2005.3"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume":"5201","author":"S. Bliudze","year":"2008","unstructured":"Bliudze S., Sifakis J., A Notion of Glue Expressiveness for Component-Based Systems, LECT NOTES COMP SCI, 2008, 5201, 508\u2013522","journal-title":"LECT NOTES COMP SCI"},{"key":"8_CR6","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1982","unstructured":"Milner R., A Calculus of Communication Systems, Springer-Verlag, Secaucus, NJ, USA, 1982"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R. Wilhelm","year":"2008","unstructured":"Wilhelm R., Engblom J., Ermedahl A., Holsti N., Thesing S., Whalley D., Bernat G., Ferdinand C., Heckmann R., Mitra T., Mueller F., Puaut I., Puschner P., Staschulat J., Stenstr\u00f6m P., The Worst-case Execution Time Problem \u2014 Overview of Methods and Survey of Tools, ACM T EMBED COMPUT S, 2008, 7, 1, 45","journal-title":"ACM T EMBED COMPUT S"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Henzinger T.A., Kirsch C.M., The Embedded Machine: Predictable, Portable Real-Time Code, ACM T PROGR LANG SYS, 2007, 29","DOI":"10.1145\/1286821.1286824"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Kopetz H., The Rationale for Time-Triggered Ethernet, Proceedings of the 29th IEEE Real-Time Systems Symposium (30 November\u20133 December 2008, Barcelona, Spain) IEEE Computer Society, 2008, 3\u201311","DOI":"10.1109\/RTSS.2008.33"},{"key":"8_CR10","volume-title":"Adaptive Control","author":"K.J. Astrom","year":"1994","unstructured":"Astrom K.J., Wittenmark B., Adaptive Control, 2nd edition, Addison-Wesley Longman Publishing Co., Boston, MA, USA, 1994","edition":"2nd edition"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/602382.602401","volume":"50","author":"J. Gray","year":"2003","unstructured":"Gray J., What Next? A Dozen Information-Technology Research Goals, J ACM, 2003, 50, 41\u201357","journal-title":"J ACM"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1109\/JPROC.2006.890107","volume":"95","author":"A. Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli A., Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, P IEEE, 2007, 95, 467\u2013506","journal-title":"P IEEE"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1145\/1086519.1086526","volume":"4","author":"P. Caspi","year":"2005","unstructured":"Caspi P. et al., Guidelines for a graduate curriculum on embedded software and systems, ACM T EMBED COMPUT S, 2005, 4, 587\u2013611","journal-title":"ACM T EMBED COMPUT S"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MC.2005.211","volume":"38","author":"E. Lee","year":"2005","unstructured":"Lee E., Absolutely positively on time: what would it take?, COMPUTER, 2005, 38, 85\u201387","journal-title":"COMPUTER"}],"container-title":["Open Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.2478\/s13537-011-0008-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.2478\/s13537-011-0008-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.2478\/s13537-011-0008-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,28]],"date-time":"2021-02-28T16:19:03Z","timestamp":1614529143000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.2478\/s13537-011-0008-y\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":14,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.2478\/s13537-011-0008-y","relation":{},"ISSN":["2299-1093"],"issn-type":[{"value":"2299-1093","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}