{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:06:50Z","timestamp":1743080810865,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_11","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T10:43:26Z","timestamp":1510310606000},"page":"161-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Refinement Relation for Families of Timed Automata"],"prefix":"10.1007","author":[{"given":"Guillermina","family":"Cledou","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"11_CR1","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109\u2013120 (2001). \nhttp:\/\/doi.acm.org\/10.1145\/503271.503226"},{"key":"11_CR2","series-title":"NATO Science Series (Series II: Mathematics, Physics and Chemistry)","volume-title":"Engineering Theories of Software Intensive Systems","author":"L de Alfaro","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series (Series II: Mathematics, Physics and Chemistry), vol. 195. Springer, Dordrecht (2005)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR\u201998 Concurrency Theory","author":"R Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 163\u2013178. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0055622"},{"key":"11_CR4","unstructured":"Baier, C., Katoen, J.P., Larsen, K.G.: Principles of model checking (2008)"},{"key":"11_CR5","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: International Conference on Software Engineering (ICSE), pp. 321\u2013330 (2011). \nhttp:\/\/dl.acm.org\/citation.cfm?id=1985838"},{"key":"11_CR6","unstructured":"Cledou, G.: A Virtual Factory for Smart City Service Integration (forthcoming). Ph.D. thesis, Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme) (2018, to appear)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68972-2_4","volume-title":"Fundamentals of Software Engineering","author":"G Cledou","year":"2017","unstructured":"Cledou, G., Proen\u00e7a, J., Barbosa, L.: Composing families of timed automata. FSEN 2017. LNCS, vol. 10522. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-68972-2_4"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A.: Behavioural modelling and verification of real-time software product lines. In: Proceedings of the 16th International Software Product Line Conference, vol. 1, pp. 66\u201375. ACM (2012)","DOI":"10.1145\/2362536.2362549"},{"key":"11_CR9","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2010), pp. 91\u2013100. ACM, New York (2010). \nhttp:\/\/doi.acm.org\/10.1145\/1755952.1755967"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Thum, T., Batory, D., Kastner, C.: Reasoning about edits to feature models. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pp. 254\u2013264. IEEE Computer Society, Washington (2009). \nhttp:\/\/dx.doi.org\/10.1109\/ICSE.2009.5070526","DOI":"10.1109\/ICSE.2009.5070526"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T10:48:09Z","timestamp":1515408489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}