{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:30:17Z","timestamp":1725557417700},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135552"},{"type":"electronic","value":"9783642135569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13556-9_4","type":"book-chapter","created":{"date-parts":[[2010,6,5]],"date-time":"2010-06-05T01:46:54Z","timestamp":1275702414000},"page":"52-71","source":"Crossref","is-referenced-by-count":5,"title":["Component Behavior Synthesis for Critical Systems,"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Eckardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-44555-2_5","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"J. Bosch","year":"2000","unstructured":"Bosch, J., Szyperski, C.A., Weck, W.: Component-Oriented Programming. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol.\u00a01964, pp. 55\u201364. Springer, Heidelberg (2000)"},{"key":"4_CR2","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice-Hall Series in Automatic Computation (1976)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-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: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-005-0103-4","volume":"5","author":"H. Giese","year":"2006","unstructured":"Giese, H., Vilbig, A.: Separation of Non-Orthogonal Concerns in Software Architecture and Design. Software and System Modeling (SoSyM)\u00a05(2), 136\u2013169 (2006)","journal-title":"Software and System Modeling (SoSyM)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/302405.302457","volume-title":"ICSE 1999: Proceedings of the 21st International Conference on Software Engineering","author":"P. Tarr","year":"1999","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton Jr., S.M.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 107\u2013119. ACM, New York (1999)"},{"key":"4_CR6","volume-title":"Pattern-Oriented Software Architecture","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture, vol.\u00a01. John Wiley & Sons, Chichester (1996)"},{"key":"4_CR7","unstructured":"Garlan, D., Perry, D.: (introduction to the) Special Issue on Software Architecture. IEEE Transactions on Software Engineering\u00a021(4) (April 1995)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowl. Acquis.\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowl. Acquis."},{"key":"4_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"4_CR10","first-page":"214","volume-title":"2nd IEEE Real-Time Technology and Applications Symposium (RTAS 1996)","author":"B. Selic","year":"1996","unstructured":"Selic, B.: Real-Time Object-Oriented Modeling (room). In: 2nd IEEE Real-Time Technology and Applications Symposium (RTAS 1996), Boston, MA, USA, June 10-12, p. 214. IEEE Computer Society, Los Alamitos (1996)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1086228.1086235","volume-title":"EMSOFT 2005: Proceedings of the 5th ACM International Conference on Embedded Software","author":"E.K. Jackson","year":"2005","unstructured":"Jackson, E.K., Sztipanovits, J.: Using Separation of Concerns for Embedded Systems Design. In: EMSOFT 2005: Proceedings of the 5th ACM International Conference on Embedded Software, pp. 25\u201334. ACM, New York (2005)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE-11), September 2003, pp. 38\u201347 (2003)","DOI":"10.1145\/940071.940078"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179\u2013188. ACM Press, New York (2004)","DOI":"10.1145\/1041685.1029920"},{"key":"4_CR14","unstructured":"Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, Lehrstuhl f\u00fcr Softwaretechnik, Universit\u00e4t Paderborn, Paderborn, Germany (June 2003)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for Modeling Real-time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1109\/LICS.1992.185551","volume-title":"Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS)","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS), pp. 394\u2013406. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"4_CR17","unstructured":"Pettersson, P.: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice. PhD thesis, Department of Computer Systems, Uppsala University (February 1999)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27755-2_3"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering\u00a0SE-3(2), 125\u2013143 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0020-0190(92)90005-G","volume":"43","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A.: Sooner is Safer than Later. Information Processing Letters\u00a043(3), 135\u2013141 (1992)","journal-title":"Information Processing Letters"},{"key":"4_CR21","series-title":"IFIP Conference Proceedings","first-page":"243","volume-title":"Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Formal Techniques","author":"W. Yi","year":"1994","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic Verification of Real-time Communicating Systems by Constraint-solving. In: Hogrefe, D., Leue, S. (eds.) Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Formal Techniques, Berne, Switzerland. IFIP Conference Proceedings, vol.\u00a06, pp. 243\u2013258. Chapman & Hall, Boca Raton (1994)"},{"key":"4_CR22","unstructured":"Eckardt, T., Henkler, S.: Synthesis of Reconfiguration Charts. Technical Report tr-ri-10-314, University of Paderborn, Paderborn, Germany (January 2010)"},{"key":"4_CR23","unstructured":"Alur, R.: Timed Automata. In: NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems (1998)"},{"key":"4_CR24","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking (January 2000)"},{"issue":"1","key":"4_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design\u00a018(1), 25\u201368 (2001)","journal-title":"Formal Methods in System Design"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 1\u201320. Springer, Heidelberg (1995)"},{"key":"4_CR27","unstructured":"Altisen, K., Tripakis, S.: Tools for Controller Synthesis of Timed Systems. In: Pettersson, P., Yi, W. (eds.) Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002) (August 2002)"},{"issue":"2","key":"4_CR28","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s10626-007-0023-2","volume":"18","author":"S. Geist","year":"2008","unstructured":"Geist, S., Gromov, D., Raisch, J.: Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. Discrete Event Dynamic Systems\u00a018(2), 241\u2013262 (2008)","journal-title":"Discrete Event Dynamic Systems"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","volume-title":"Formal Methods in Software and Systems Modeling","author":"D. Harel","year":"2005","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 309\u2013324. Springer, Heidelberg (2005)"},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/337180.337217","volume-title":"ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering","author":"J. Whittle","year":"2000","unstructured":"Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 314\u2013323. ACM, New York (2000)"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSE.2008.107","volume":"35","author":"S. Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE Transactions on Software Engineering\u00a035, 384\u2013406 (2009)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR32","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1109\/ICSE.2009.5070569","volume-title":"Proceedings of the 31st International Conference on Software Engineering (ICSE 2009)","author":"S. Henkler","year":"2009","unstructured":"Henkler, S., Greenyer, J., Hirsch, M., Sch\u00e4fer, W., Alhawash, K., Eckardt, T., Heinzemann, C., L\u00f6ffler, R., Seibel, A., Giese, H.: Synthesis of Timed Behavior from Scenarios in the Fujaba Real-Time Tool Suite. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, Washington, DC, USA, May 16-24, pp. 615\u2013618. IEEE Computer Society, Los Alamitos (2009)"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/11495628_11","volume-title":"Scenarios: Models, Transformations and Tools","author":"H. Giese","year":"2005","unstructured":"Giese, H., Klein, F., Burmester, S.: Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 193\u2013211. Springer, Heidelberg (2005)"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/1138953.1138967","volume-title":"Proc. of the 5 th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006)","author":"H. Giese","year":"2006","unstructured":"Giese, H., Henkler, S., Hirsch, M., Klein, F.: Nobody\u2019s Perfect: Interactive Synthesis from Parametrized Real-Time Scenarios. In: Proc. of the 5 th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006), Shanghai, China, May 2006, pp. 67\u201374. ACM Press, New York (2006)"},{"key":"4_CR35","first-page":"1","volume-title":"Proceedings of the 7th International Fujaba Days","author":"T. Eckardt","year":"2009","unstructured":"Eckardt, T., Henkler, S.: Synthesis of Component Behavior. In: Gorp, P.V. (ed.) Proceedings of the 7th International Fujaba Days, November 2009, pp. 1\u20135. Eindhoven University of Technology, The Netherlands (2009)"}],"container-title":["Lecture Notes in Computer Science","Architecting Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13556-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:39:59Z","timestamp":1606167599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13556-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135552","9783642135569"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13556-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}