{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:14:13Z","timestamp":1725974053781},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90089-6_12","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"174-188","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Generating Arduino C Codes from Mediator"],"prefix":"10.1007","author":[{"given":"Yi","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"key":"12_CR1","unstructured":"Mediator GitHub repository. https:\/\/github.com\/mediator-team"},{"key":"12_CR2","unstructured":"Wikipedia page of pulse-width modulation. https:\/\/en.wikipedia.org\/wiki\/Pulse-width_modulation"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10876-5","volume-title":"Web Services - Concepts, Architectures and Applications","author":"G Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services - Concepts, Architectures and Applications. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-662-10876-5"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45510-8_4","volume-title":"Modeling and Verification of Parallel Processes","author":"T Amnell","year":"2001","unstructured":"Amnell, T., et al.: UPPAAL - now, next, and future. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 99\u2013124. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45510-8_4"},{"key":"12_CR5","unstructured":"Apache Foundation: Apache Maven. http:\/\/maven.apache.org\/"},{"issue":"3","key":"12_CR6","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"12_CR7","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s10270-006-0009-9","volume":"6","author":"F Arbab","year":"2007","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1), 59\u201382 (2007)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"12_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"12_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1147\/sj.352.0151","volume":"35","author":"F Budinsky","year":"1996","unstructured":"Budinsky, F., Finnie, M., Vlissides, J., Yu, P.: Automatic code generation from design patterns. IBM Syst. J. 35(2), 151\u2013171 (1996)","journal-title":"IBM Syst. J."},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_15"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Cmkovic, I.: Component-based software engineering for embedded systems. In: Roman, G.C., Griswold, W.G., Nuseibeh, B. (eds.) Proceedings of ICSE 2005, pp. 712\u2013713. ACM (2005)","DOI":"10.1109\/ICSE.2005.1553676"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-319-40648-0_13","volume-title":"NASA Formal Methods","author":"N Cata\u00f1o","year":"2016","unstructured":"Cata\u00f1o, N., Rivera, V.: EventB2Java: a code generator for Event-B. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 166\u2013171. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_13"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Hahn, B., Valentine, D.T.: SIMULINK toolbox. In: Essential MATLAB for Engineers and Scientists, pp. 341\u2013356. Academic Press (2016)","DOI":"10.1016\/B978-0-12-394398-9.00016-2"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP\u201997\u2014Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0053381"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-68034-7_1","volume-title":"Formal Aspects of Component Software","author":"Y Li","year":"2017","unstructured":"Li, Y., Sun, M.: Component-based modeling in mediator. In: Proen\u00e7a, J., Lumpe, M. (eds.) FACS 2017. LNCS, vol. 10487, pp. 1\u201319. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68034-7_1"},{"key":"12_CR17","volume-title":"Arduino Cookbook","author":"M Margolis","year":"2011","unstructured":"Margolis, M.: Arduino Cookbook. O\u2019Reilly Media Inc., Sebastopol (2011)"},{"key":"12_CR18","unstructured":"National Instruments: LabVIEW. http:\/\/www.ni.com\/zh-cn\/shop\/labview.html"},{"key":"12_CR19","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014)"},{"key":"12_CR20","volume-title":"Concepts of Programming Languages","author":"RW Sebesta","year":"2012","unstructured":"Sebesta, R.W.: Concepts of Programming Languages, 10th edn. Pearson, Upper Saddle River (2012)","edition":"10"},{"key":"12_CR21","volume-title":"Component Software - Beyond Object-Oriented Programming","author":"C Szyperski","year":"2003","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software - Beyond Object-Oriented Programming, 2nd edn. Publishing House of Electronics Industry, Beijing (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T09:12:08Z","timestamp":1571303528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}