{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:51Z","timestamp":1725749451330},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_47","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:40:59Z","timestamp":1379605259000},"page":"774-789","source":"Crossref","is-referenced-by-count":3,"title":["Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications"],"prefix":"10.1007","author":[{"given":"Joel","family":"Greenyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekkart","family":"Kindler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"47_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"47_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: Time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 121\u2013125. Springer, Heidelberg (2007)"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/11539452_9","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"F. Cassez","year":"2005","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 66\u201380. Springer, Heidelberg (2005)"},{"key":"47_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-71209-1_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Chatterjee","year":"2007","unstructured":"Chatterjee, K., Henzinger, T.A.: Assume-Guarantee Synthesis. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 261\u2013275. Springer, Heidelberg (2007)"},{"key":"47_CR5","unstructured":"Clarke Jr. E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999)"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Formal Methods in System Design, vol.\u00a019, pp. 45\u201380. Kluwer Academic Publishers (2001)","DOI":"10.1023\/A:1011227529550"},{"key":"47_CR7","unstructured":"Greenyer, J.: Scenario-based Design of Mechatronic Systems. Ph.D. thesis, University of Paderborn (October 2011)"},{"issue":"2","key":"47_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling (SoSyM)\u00a07(2), 237\u2013252 (2008)","journal-title":"Software and Systems Modeling (SoSyM)"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer (August 2003)","DOI":"10.1007\/978-3-642-19029-2"},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Playing with time: On the specification and execution of time-enriched LSCs. In: Proc. 10th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp. 193\u2013202 (2002)","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"47_CR11","unstructured":"Kindler, E.: Modularer Entwurf verteilter Systeme mit Petrinetzen, Edition Versal, vol.\u00a01. Bertz Verlag, dissertation, Technische Universit\u00e4t M\u00fcnchen (December 1995)"},{"key":"47_CR12","unstructured":"Kr\u00fcger, I.: Distributed System Design with Message Sequence Charts. Ph.D. thesis, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik (2000)"},{"key":"47_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-00768-2_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Kugler","year":"2009","unstructured":"Kugler, H., Segall, I.: Compositional synthesis of reactive systems from live sequence chart specifications. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 77\u201391. Springer, Heidelberg (2009)"},{"key":"47_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/BFb0015473","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"C. Lewerentz","year":"1995","unstructured":"Lewerentz, C., Lindner, T.: KORSO: Methods, Languages, and Tools for the Construction of Correct Software. In: J\u00e4hnichen, S., Broy, M. (eds.) KORSO 1995. LNCS, vol.\u00a01009, pp. 388\u2013416. Springer, Heidelberg (1995)"},{"key":"47_CR15","doi-asserted-by":"crossref","unstructured":"Maoz, S., Harel, D.: From multi-modal scenarios to code: Compiling LSCs into AspectJ. In: Proc. Int. 14th Symp. on Foundations of Software Engineering (FSE 2005), pp. 219\u2013230. ACM (2006)","DOI":"10.1145\/1181775.1181802"},{"key":"47_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-33666-9_22","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Maoz","year":"2012","unstructured":"Maoz, S., Sa\u2019ar, Y.: Assume-guarantee scenarios: Semantics and synthesis. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 335\u2013351. Springer, Heidelberg (2012)"},{"key":"47_CR17","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Uchitel, S., Zave, P.: Towards compositional synthesis of evolving systems. In: Harrold, M.J., Murphy, G.C. (eds.) Proc. 16th Int. Symp. on Foundations of Software Engineering, pp. 285\u2013296. ACM (2008)","DOI":"10.1145\/1453101.1453143"},{"key":"47_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-16042-6_21","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"E.W. Stark","year":"1985","unstructured":"Stark, E.W.: A proof technique for rely\/guarantee properties. In: Maheshwari, S.N. (ed.) FSTTCS 1985. LNCS, vol.\u00a0206, pp. 369\u2013391. Springer, Heidelberg (1985)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T07:18:43Z","timestamp":1563952723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}