{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:17:53Z","timestamp":1771697873782,"version":"3.50.1"},"publisher-location":"Cham","reference-count":76,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319465074","type":"print"},{"value":"9783319465081","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46508-1_7","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T21:53:39Z","timestamp":1474494819000},"page":"113-129","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Model-Based System Design and Other Foundations for Mastering Change"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,23]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.: Reactive modules. Formal Methods Syst. Des. 15, 7\u201348 (1999)","journal-title":"Formal Methods Syst. Des."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-319-13338-6_7","volume-title":"Hardware and Software: Verification and Testing","author":"R Alur","year":"2014","unstructured":"Alur, R., Martin, M., Raghothaman, M., Stergiou, C., Tripakis, S., Udupa, A.: Synthesizing finite-state protocols from scenarios and requirements. In: Yahav, E. (ed.) HVC 2014. LNCS, vol. 8855, pp. 75\u201391. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-13338-6_7"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Angluin, D.: Computational learning theory: survey and selected bibliography. In: 24th Annual ACM Symposium on Theory of Computing, pp. 351\u2013369 (1992)","DOI":"10.1145\/129712.129746"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Raghothaman, M., Stergiou, C., Tripakis, S., Udupa, A.: Automatic completion of distributed protocols with symmetry. In: 27th International Conference on Computer Aided Verification (CAV), pp. 395\u2013412 (2015)","DOI":"10.1007\/978-3-319-21668-3_23"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Baumann, C., Beckert, B., Blasum, H., Bormer, T.: Lessons learned from microkernel verification - specification is the new bottleneck. In: 7th Conference on Systems Software Verification, SSV 2012, Sydney, Australia, pp. 18\u201332, 28\u201330 November 2012","DOI":"10.4204\/EPTCS.102.4"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Broman, D., Brooks, C., Greenberg, L., Lee, E.A., Tripakis, S., Wetter, M., Masin, M.: Determinate composition of FMUs for co-simulation. In: 13th ACM & IEEE International Conference on Embedded Software (EMSOFT 2013) (2013)","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"7_CR7","first-page":"2012","volume":"88","author":"A Bertolino","year":"2012","unstructured":"Bertolino, A., Calabr\u00f2, A., Merten, M., Steffen, B.: Never-stop learning: continuous validation of learned models for evolving systems through monitoring. ERCIM News 88, 2012 (2012)","journal-title":"ERCIM News"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Greitschus, M., Jensen, P.G., Larsen, K.G., Mikucionis, M., Strump, T., Tripakis, S.: Co-simulation of hybrid systems with SpaceEx and Uppaal. In: Proceedings of the 11th International Modelica Conference. Linkoping University Electronic Press (2015)","DOI":"10.3384\/ecp15118159"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M., Requirements for hybrid cosimulation standards. In: Hybrid Systems: Computation and Control (HSCC 2015) (2015)","DOI":"10.1145\/2728606.2728629"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MIS.2014.3","volume":"29","author":"B Beckert","year":"2014","unstructured":"Beckert, B., H\u00e4hnle, R.: Reasoning and verification: state of the art and current trends. IEEE Intell. Syst. 29(1), 20\u201329 (2014)","journal-title":"IEEE Intell. Syst."},{"key":"7_CR11","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"4","key":"7_CR12","doi-asserted-by":"crossref","first-page":"e18882","DOI":"10.1371\/journal.pone.0018882","volume":"6","author":"L Bilitchenko","year":"2011","unstructured":"Bilitchenko, L., Liu, A., Cheung, S., Weeding, E., Xia, B., Leguia, M., Anderson, J.C., Densmore, D.: Eugene - a domain specific language for specifying and constraining synthetic biological parts, devices, and systems. PLoS ONE 6(4), e18882 (2011)","journal-title":"PLoS ONE"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Broman, D., Lee, E.A., Tripakis, S., T\u00f6rngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: 6th International Workshop on Multi-Paradigm Modeling (MPM 2012) (2012)","DOI":"10.1145\/2508443.2508452"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., \u00c5kesson, J., Arnold, M., Clauss, C., Elmqvist, H., Friedrich, M., Junghanns, A., Mauss, J., Neumerkel, D., Olsson, H., Viel, A.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference (2012)","DOI":"10.3384\/ecp12076173"},{"key":"7_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification, Development of Interactive Systems: Focus On Streams, Interfaces and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification, Development of Interactive Systems: Focus On Streams, Interfaces and Refinement. Springer, Heidelberg (2001)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM Symposium on POPL (1977)","DOI":"10.1145\/512950.512973"},{"key":"7_CR17","volume-title":"Model Checking","author":"E Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Cassel, S., Howar, F., Jonsson, B., Steffen, B.: Learning extended finite state machines. In: Software Engineering and Formal Methods - SEFM, pp. 250\u2013264 (2014)","DOI":"10.1007\/978-3-319-10431-7_18"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: Fourth Annual Symposium on Logic in Computer Science (1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Cremona, F., Lohstroh, M., Tripakis, S., Brooks, C., Lee, E.A.: FIDE - an FMI integrated development environment. In: 31st ACM\/SIGApp. Symposium on Applied Computing, Embedded Systems Track (SAC) (2016)","DOI":"10.1145\/2851613.2851677"},{"issue":"2","key":"7_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1331331.1331339","volume":"7","author":"P Caspi","year":"2008","unstructured":"Caspi, P., Scaife, N., Sofronis, C., Tripakis, S.: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. (TECS) 7(2), 1\u201340 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Foundations of Software Engineering (FSE). ACM Press (2001)","DOI":"10.1145\/503209.503226"},{"key":"7_CR23","volume-title":"Trace theory for automatic hierarchical verification of speed-independent circuits","author":"DL Dill","year":"1987","unstructured":"Dill, D.L.: Trace theory for automatic hierarchical verification of speed-independent circuits. MIT Press, Cambridge (1987)"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-32582-8_3","volume-title":"Model Checking Software","author":"I Dragomir","year":"2016","unstructured":"Dragomir, I., Preoteasa, V., Tripakis, S.: Compositional semantics and analysis of hierarchical block diagrams. In: Bo\u0161na\u010dki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 38\u201356. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-32582-8_3"},{"issue":"1","key":"7_CR25","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Fisher, J., Henzinger, T.A.: Executable biology. In: Winter Simulation Conference, pp. 1675\u20131682 (2006)","DOI":"10.1109\/WSC.2006.322942"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Fu, J., Topcu, U.: Probably approximately correct MDP learning and control with temporal logic constraints. CoRR, abs\/1404.7073 (2014)","DOI":"10.15607\/RSS.2014.X.039"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: 2005 Ninth IEEE International EDOC Enterprise Computing Conference, pp. 46\u201357, September 2005","DOI":"10.1109\/EDOC.2005.13"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Giantamidis, G., Tripakis, S.: Learning Moore Machines from Input-Output Traces. ArXiv e-prints, May 2016","DOI":"10.1007\/978-3-319-48989-6_18"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Automating string processing in spreadsheets using input-output examples. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, pp. 317\u2013330. ACM, New York (2011)","DOI":"10.1145\/1926385.1926423"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Synthesis from examples: interaction models and algorithms. In: Proceedings of the 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, pp. 8\u201314. IEEE Computer Society, Washington (2012)","DOI":"10.1109\/SYNASC.2012.69"},{"issue":"1","key":"7_CR32","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MC.2008.10","volume":"41","author":"D Harel","year":"2008","unstructured":"Harel, D.: Can programming be liberated, period? Computer 41(1), 28\u201337 (2008)","journal-title":"Computer"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/BFb0028765","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K.: You assume, we guarantee: methodology and case studies. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 440\u2013451. Springer, Heidelberg (1998). doi: 10.1007\/BFb0028765"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Howar, F., Steffen, B.: Learning models for verification and testing - special track at ISoLA 2014 track introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pp. 199\u2013201 (2014)","DOI":"10.1007\/978-3-662-45234-9_14"},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25271-6_8"},{"issue":"6","key":"7_CR36","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1743546.1743574","volume":"53","author":"G Klein","year":"2010","unstructured":"Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: sel4: Formal verification of an operating-system kernel. Commun. ACM 53(6), 107\u2013115 (2010)","journal-title":"Commun. ACM"},{"key":"7_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-642-02658-4_32","volume-title":"Computer Aided Verification","author":"R Kaivola","year":"2009","unstructured":"Kaivola, R., Ghughal, R., Narasimhan, N., Telfer, A., Whittemore, J., Pandav, S., Slobodov\u00e1, A., Taylor, C., Frolov, V., Reeber, E., Naik, A.: Replacing testing with formal verification in intel core TM i7 processor execution engine validation. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 414\u2013429. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_32"},{"issue":"Special Centenn","key":"7_CR38","doi-asserted-by":"crossref","first-page":"1287","DOI":"10.1109\/JPROC.2012.2189792","volume":"100","author":"K-D Kim","year":"2012","unstructured":"Kim, K.-D., Kumar, P.R.: Cyber-physical systems: a perspective at the centennial. Proc. IEEE 100(Special Centennial Issue), 1287\u20131308 (2012)","journal-title":"Proc. IEEE"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Lee, E.A.:Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369, May 2008","DOI":"10.1109\/ISORC.2008.25"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Lublinerman, R., Szegedy, C., Tripakis, S.: Modular code generation from synchronous block diagrams - modularity vs. code size. In: 36th ACM Symposium on Principles of Programming Languages (POPL 2009), pp. 78\u201389. ACM (2009)","DOI":"10.1145\/1480881.1480893"},{"key":"7_CR41","first-page":"219","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Q. 2, 219\u2013246 (1989)","journal-title":"CWI Q."},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Lamouchi, H., Thistle, J.: Effective control synthesis for DES under partial observations. In: 39th IEEE Conference on Decision and Control, pp. 22\u201328 (2000)","DOI":"10.1109\/CDC.2000.912726"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Lublinerman, R., Tripakis, S.: Modularity vs. reusability: code generation from synchronous block diagrams. In: Design, Automation, and Test in Europe (DATE 2008), pp. 1504\u20131509. ACM, March 2008","DOI":"10.1145\/1403375.1403736"},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Leino, K.R.M., W\u00fcstholz, V.: The dafny integrated development environment. In: 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, 6 April 2014, EPTCS, vol. 149, pp. 3\u201315 (2014)","DOI":"10.4204\/EPTCS.149.2"},{"issue":"10","key":"7_CR45","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\". Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"issue":"4","key":"7_CR46","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MSP.2013.77","volume":"11","author":"S Mitra","year":"2013","unstructured":"Mitra, S., Wongpiromsarn, T., Murray, R.M.: Verifying cyber-physical interactions in safety-critical systems. IEEE Secur. Priv. 11(4), 28\u201337 (2013)","journal-title":"IEEE Secur. Priv."},{"key":"7_CR47","doi-asserted-by":"crossref","DOI":"10.1201\/9781420067859","volume-title":"Model-Based Design for Embedded Systems","author":"G Nicolescu","year":"2009","unstructured":"Nicolescu, G., Mosterman, P.J.: Model-Based Design for Embedded Systems. CRC Press, Boston (2009)"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Neskovic, S., Paunovic, O., Babarogic, S.: Using protocols and domain specific languages to achieve compliance of administrative processes with legislation. In: Electronic Government and the Information Systems Perspective, EGOVIS, pp. 284\u2013298 (2011)","DOI":"10.1007\/978-3-642-22961-9_23"},{"issue":"4","key":"7_CR49","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How amazon web services uses formal methods. Commun. ACM 58(4), 66\u201373 (2015)","journal-title":"Commun. ACM"},{"issue":"3","key":"7_CR50","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1740582.1740584","volume":"11","author":"KS Namjoshi","year":"2010","unstructured":"Namjoshi, K.S., Trefler, R.J.: On the completeness of compositional reasoning methods. ACM Trans. Comput. Logic 11(3), 16 (2010)","journal-title":"ACM Trans. Comput. Logic"},{"key":"7_CR51","series-title":"Sub-series F: Computer and System Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-82453-1_5","volume-title":"Logics, Models of Concurrent Systems","author":"A Pnueli","year":"1985","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. In: Apt, K. (ed.) Logics, Models of Concurrent Systems. Sub-series F: Computer and System Science, pp. 123\u2013144. Springer, Heidelberg (1985)"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: ACM Symposium, POPL (1989)","DOI":"10.1145\/75277.75293"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: Proceedings of the 31th IEEE Symposium on Foundations of Computer Science, pp. 746\u2013757 (1990)","DOI":"10.1109\/FSCS.1990.89597"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Preoteasa, V., Tripakis, S.: Refinement calculus of reactive systems. In: Proceedings of the 14th ACM & IEEE International Conference on Embedded Software (EMSOFT 2014) (2014)","DOI":"10.1145\/2656045.2656068"},{"issue":"1","key":"7_CR55","first-page":"35","volume":"3","author":"M Pittou","year":"2011","unstructured":"Pittou, M., Tripakis, S.: Multi-view consistency for infinitary regular languages. Infect Dis. Ther. 3(1), 35\u201343 (2011). International Conference on Embedded Computer Systems: Observation of strains. Architectures, Modeling and Simulation - SAMOS XVI, 2016","journal-title":"Infect Dis. Ther."},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"Preoteasa, V., Tripakis, S.: Towards compositional feedback in non-deterministic and non-input-receptive systems. In: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS) (2016)","DOI":"10.1145\/2933575.2934503"},{"key":"7_CR57","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: 2010 47th ACM\/IEEE Design Automation Conference (DAC), pp. 731\u2013736, June 2010","DOI":"10.1145\/1837274.1837461"},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"Reineke, J., Stergiou, C., Tripakis, S.: Basic problems in multi-view modeling (2016). Submitted journal version of [59]","DOI":"10.1007\/s10270-017-0638-1"},{"key":"7_CR59","doi-asserted-by":"crossref","unstructured":"Reineke, J., Tripakis, S.: Basic problems in multi-view modeling. In: Tools and Algorithms for the Construction and Analysis of Systems - TACAS (2014)","DOI":"10.1007\/978-3-642-54862-8_15"},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"Raychev, V., Vechev, M.T., Yahav, E.: Code completion with statistical language models. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, p. 44 (2014)","DOI":"10.1145\/2666356.2594321"},{"issue":"1","key":"7_CR61","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P Ramadge","year":"1989","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"key":"7_CR62","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"1998","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)"},{"issue":"3","key":"7_CR63","first-page":"30","volume":"7","author":"I Shin","year":"2008","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework. ACM Trans. Embed. Comput. Syst. (TECS) 7(3), 30 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"issue":"6","key":"7_CR64","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/1064978.1065045","volume":"40","author":"A Solar-Lezama","year":"2005","unstructured":"Solar-Lezama, A., Rabbah, R., Bod\u00edk, R., Ebcio\u011flu, K.: Programming by sketching for bit-streaming programs. SIGPLAN Not. 40(6), 281\u2013294 (2005)","journal-title":"SIGPLAN Not."},{"key":"7_CR65","unstructured":"Steffen, B.: LNCS transaction on the foundations for mastering change: preliminary manifesto. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. Part I. LNCS, vol. 8802, pp. 514\u2013517. Springer, Heidelberg (2014)"},{"key":"7_CR66","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Circuits and Systems, ISCAS (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"7_CR67","volume-title":"Model-Based Design for Embedded Systems","author":"S Tripakis","year":"2009","unstructured":"Tripakis, S., Dang, T.: Modeling, verification and testing using timed and hybrid automata. In: Mosterman, P., Nicolescu, G. (eds.) Model-Based Design for Embedded Systems. CRC Press, Boca Raton (2009)"},{"issue":"11\/12","key":"7_CR68","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0895-7177(96)00063-5","volume":"23","author":"JG Thistle","year":"1996","unstructured":"Thistle, J.G.: Supervisory control of discrete event systems. Math. Comput. Model. 23(11\/12), 25\u201353 (1996)","journal-title":"Math. Comput. Model."},{"issue":"4","key":"7_CR69","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1985342.1985345","volume":"33","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Trans. Program. Lang. Syst. (TOPLAS) 33(4), 14 (2011)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"1","key":"7_CR70","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s11265-015-0971-y","volume":"85","author":"S Tripakis","year":"2016","unstructured":"Tripakis, S., Limaye, R., Ravindran, K., Wang, G., Andrade, H., Ghosal, A.: Tokens vs. signals: on conformance between formal models of dataflow and hardware. J. Sig. Process. Syst. 85(1), 23\u201343 (2016)","journal-title":"J. Sig. Process. Syst."},{"issue":"10","key":"7_CR71","doi-asserted-by":"crossref","first-page":"1300","DOI":"10.1109\/TC.2008.81","volume":"57","author":"S Tripakis","year":"2008","unstructured":"Tripakis, S., Pinello, C., Benveniste, A., Sangiovanni-Vincentelli, A., Caspi, P., Di Natale, M.: Implementing synchronous models on loosely time-triggered architectures. IEEE Trans. Comput. 57(10), 1300\u20131314 (2008)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"7_CR72","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S Tripakis","year":"2004","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1), 21\u201328 (2004)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"7_CR73","first-page":"35","volume":"3","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S.: Bridging the semantic gap between heterogeneous modeling formalisms, FMI. Infect Dis. Ther. 3(1), 35\u201343 (2011). International Conference on Embedded Computer Systems: Observation of Strains, Architectures, Modeling and Simulation - SAMOS XV, 2015","journal-title":"Infect Dis. Ther."},{"key":"7_CR74","volume-title":"Cyber-Physical Systems: Observation of strains: From Theory to Practice","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S.: Foundations of compositional model-based system design. In: Rawat, D.B., Rodrigues, J., Stojmenovic, I. (eds.) Cyber-Physical Systems: Observation of strains: From Theory to Practice. CRC Press, Boca Raton (2011). Infect Dis Ther. 3(1), 35\u201343 (2015)"},{"issue":"5","key":"7_CR75","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1109\/JPROC.2015.2510366","volume":"104","author":"S Tripakis","year":"2016","unstructured":"Tripakis, S.: Compositionality in the science of system design. Proc. IEEE 104(5), 960\u2013972 (2016)","journal-title":"Proc. IEEE"},{"key":"7_CR76","doi-asserted-by":"crossref","first-page":"834","DOI":"10.1017\/S0960129512000278","volume":"23","author":"S Tripakis","year":"2013","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23, 834\u2013881 (2013)","journal-title":"Math. Struct. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Transactions on Foundations for Mastering Change I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46508-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T17:33:15Z","timestamp":1568395995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46508-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465074","9783319465081"],"references-count":76,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46508-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}