{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:51Z","timestamp":1740098931020,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668444"},{"type":"electronic","value":"9783319668451"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_14","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T15:37:20Z","timestamp":1503761840000},"page":"211-226","source":"Crossref","is-referenced-by-count":1,"title":["BTS: A Tool for Formal Component-Based Development"],"prefix":"10.1007","author":[{"given":"Dalay Israel","family":"de Almeida Pereira","sequence":"first","affiliation":[]},{"given":"Marcel Vinicius Medeiros","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Madiel S.","family":"Conserva Filho","sequence":"additional","affiliation":[]},{"given":"Sarah Raquel","family":"Da Rocha Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"issue":"5","key":"14_CR1","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/j.jss.2006.08.016","volume":"80","author":"M \u00c5kerholm","year":"2007","unstructured":"\u00c5kerholm, M., Carlson, J., Fredriksson, J., Hansson, H., H\u00e5kansson, J., M\u00f6ller, A., Pettersson, P., Tivoli, M.: The save approach to component-based development of vehicular systems. J. Syst. Softw. 80(5), 655\u2013667 (2007)","journal-title":"J. Syst. Softw."},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-06200-6_3","volume-title":"NASA Formal Methods","author":"PRG Antonino","year":"2014","unstructured":"Antonino, P.R.G., Oliveira, M.M., Sampaio, A.C.A., Kristensen, K.E., Bryans, J.W.: Leadership election:\u00a0an industrial sos application of compositional deadlock verification. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 31\u201345. Springer, Cham (2014). doi: 10.1007\/978-3-319-06200-6_3"},{"issue":"03","key":"14_CR3","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. Mathematical Struct. Comput. Sci. 14(03), 329\u2013366 (2004)","journal-title":"Mathematical Struct. Comput. Sci."},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","volume-title":"Computer Aided Verification","author":"C Barrett","year":"2011","unstructured":"Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanovi\u0107, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171\u2013177. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_14"},{"key":"14_CR5","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The smt-lib standard: Version 2.0 (2010). www.SMT-LIB.org"},{"key":"14_CR6","unstructured":"Bene\u0161, N., Brim, L., \u010cern\u00e1, I., Sochor, J., Va\u0159ekov\u00e1, P., Zimmerov\u00e1, B., et al.: The coin tool: modelling and verification of interactions in component-based systems. Electronic Notes in Theoretical Computer Science, pp. 221\u2013225 (2008)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-02959-2_12","volume-title":"Automated Deduction \u2013 CADE-22","author":"T Bouton","year":"2009","unstructured":"Bouton, T., Caminha B. de Oliveira, D., D\u00e9harbe, D., Fontaine, P.: veriT: an open, trustable and efficient SMT-solver. In: Schmidt, R.A. (ed.) CADE 2009. LNCS, vol. 5663, pp. 151\u2013156. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02959-2_12"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/1118537.1123063","volume":"31","author":"L Brim","year":"2005","unstructured":"Brim, L., \u010cern\u00e1, I., Va\u0159ekov\u00e1, P., Zimmerova, B.: Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Not. 31, 4 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Not."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/3-540-40048-6_15","volume-title":"Generative and Component-Based Software Engineering","author":"H Bruin","year":"2000","unstructured":"Bruin, H.: A grey-box approach to component composition. In: Czarnecki, K., Eisenecker, U.W. (eds.) GCSE 1999. LNCS, vol. 1799, pp. 195\u2013209. Springer, Heidelberg (2000). doi: 10.1007\/3-540-40048-6_15"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Butler, M., Hallerstede, S.: The rodin formal modelling tool. In: BCS-FACS Christmas 2007 Meeting-Formal Methods In Industry, London (2007)","DOI":"10.14236\/ewic\/FMI2007.2"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-47846-3_18","volume-title":"Formal Methods and Software Engineering","author":"MSC Filho","year":"2016","unstructured":"Filho, M.S.C., Oliveira, M.V.M., Sampaio, A., Cavalcanti, A.: Local livelock analysis of component-based models. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 279\u2013295. Springer, Cham (2016). doi: 10.1007\/978-3-319-47846-3_18"},{"key":"14_CR12","unstructured":"Object Management Group. The Common Object Request Broker (CORBA): Architecture and Specification. Object Management Group (1995)"},{"key":"14_CR13","first-page":"349","volume":"8","author":"AC Gurgel","year":"2008","unstructured":"Gurgel, A.C., Castro, C.G., Oliveira, M.V.M.: Tool support for the circus refinement calculus. ABZ 8, 349\u2013349 (2008)","journal-title":"ABZ"},{"issue":"8","key":"14_CR14","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"14_CR15","unstructured":"McIlroy, M.D., Buxton, J.M., Naur, P., Randell, B.: Mass-produced software components. In: Proceedings of the 1st International Conference on Software Engineering, Garmisch Pattenkirchen, Germany. sn (1968)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Oliveira, M.V.M., Antonino, P.R.G., Ramos, R.T., Sampaio, A.C.A., Mota, A.C., Roscoe, A.W.: Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput., 1\u201368 (2016)","DOI":"10.1007\/s00165-016-0375-1"},{"key":"14_CR18","unstructured":"Oliveira, M.V.M., Sampaio, A.C.A., Antonino, P.R.G., Oliveira, J.D., Filho, M.C., Bryans, J.: Compositional analysis and design of CML models. Technical Report D24.4, COMPASS Deliverable (2014)"},{"key":"14_CR19","unstructured":"Oliveira, M.V.M., Sampaio, A.C.A., Antonino, P.R.G., Ramos, R.T., Cavancalti, A.L.C., Woodcock, J.C.P.: Compositional Analysis and Design of CML Models. Technical Report D24.1, COMPASS Deliverable (2013)"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-05089-3_10","volume-title":"FM 2009: Formal Methods","author":"R Ramos","year":"2009","unstructured":"Ramos, R., Sampaio, A., Mota, A.: Systematic development of trustworthy component systems. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 140\u2013156. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-05089-3_10"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_13"},{"key":"14_CR22","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1998","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency, vol. 1. Prentice Hall, Englewood Cliffs (1998)"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Sentilles, S., Pettersson, A., Nystrom, D., Nolte, T., Pettersson, P., Crnkovic, I.: Save-ide-a tool for design, analysis and implementation of component-based embedded systems. In: Proceedings of the 31st International Conference on Software Engineering, pp. 607\u2013610. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070567"},{"key":"14_CR24","unstructured":"Silva, S.R.R.: Bts: uma ferramenta de suporte ao desenvolvimento sistem\u00e1tico de sistemas confi\u00e1veis baseados em componentes. Master\u2019s thesis, Universidade Federal do Rio Grande do Norte (2013)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Sy, O., Bastide, R., Palanque, P., Le, D., Navarre, D.: Petshop: a case tool for the petri net based specification and prototyping of corba systems. In: Petri Nets 2000, p. 78 (2000)","DOI":"10.1007\/3-540-48745-X_5"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T10:39:59Z","timestamp":1602844799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}