{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,22]],"date-time":"2024-07-22T19:49:55Z","timestamp":1721677795146},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T00:00:00Z","timestamp":1494547200000},"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":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1007\/s40860-017-0040-3","type":"journal-article","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T09:33:04Z","timestamp":1494581584000},"page":"55-79","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A constraint-based language for modelling intelligent environments"],"prefix":"10.1007","volume":"3","author":[{"given":"Mar\u00eda-del-Mar","family":"Gallardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leticia","family":"Lavado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Panizo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Titolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"40_CR1","unstructured":"Adalid D, Gallardo MM, Titolo L (2014) Modeling hybrid systems in Hy-tccp. In: Proceedings of the 3rd international workshop on formal techniques for safety-critical systems (FTSCS 2014), pp 52\u201357"},{"issue":"7","key":"40_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger T, Lafferriere G, Pappas G (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984. doi: 10.1109\/5.871304","journal-title":"Proc IEEE"},{"key":"40_CR3","unstructured":"Augusto JC (2009) Increasing reliability in the development of intelligent environments. In: Proceedings of the 5th international conference on intelligent environments (IE\u201909), IOS Press, pp 134\u2013141"},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.advengsoft.2012.12.004","volume":"58","author":"JC Augusto","year":"2013","unstructured":"Augusto JC, Hornos MJ (2013) Software simulation and verification to increase the reliability of intelligent environments. Adv Eng Softw 58:18\u201334. doi: 10.1016\/j.advengsoft.2012.12.004","journal-title":"Adv Eng Softw"},{"issue":"1","key":"40_CR5","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1186\/2192-1962-3-12","volume":"3","author":"JC Augusto","year":"2013","unstructured":"Augusto JC, Callaghan V, Cook D, Kameas A, Satoh I (2013) Intelligent environments: a manifesto. Hum Centric Comput Inf Sci 3(1):12. doi: 10.1186\/2192-1962-3-12","journal-title":"Hum Centric Comput Inf Sci"},{"issue":"1\u20132","key":"40_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","volume":"72","author":"R Bagnara","year":"2008","unstructured":"Bagnara R, Hill P, Zaffanella E (2008) The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci Comput Program 72(1\u20132):3\u201321","journal-title":"Sci Comput Program"},{"issue":"7","key":"40_CR7","first-page":"888","volume":"88","author":"A Balluchi","year":"2000","unstructured":"Balluchi A, Benvenuti L, Benedetto MD, Pinello C, Sangiovanni-Vincentelli A (2000) Automotive engine control and hybrid systems: challenges and opportunities. Proc IEEE Spec Issue Hybrid Syst 88(7):888\u2013912","journal-title":"Proc IEEE Spec Issue Hybrid Syst"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Bauer K (2012) A new modelling language for cyber-physical systems. PhD thesis, University of Kaiserslautern","DOI":"10.1145\/2530544.2530547"},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Berry G (2000) The foundations of Esterel. In: Plotkin G, Stirling C, Tofte M (eds) Proof, language, and interaction. MIT Press, Cambridge, pp 425\u2013454","DOI":"10.7551\/mitpress\/5641.003.0021"},{"issue":"1","key":"40_CR10","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"FS Boer de","year":"2000","unstructured":"de Boer FS, Gabbrielli M, Meo MC (2000) A timed concurrent constraint language. Inf Comput 161(1):45\u201383","journal-title":"Inf Comput"},{"issue":"9","key":"40_CR11","doi-asserted-by":"publisher","first-page":"8136","DOI":"10.1016\/j.eswa.2012.01.153","volume":"39","author":"JA Botia","year":"2012","unstructured":"Botia JA, Villa A, Palma J (2012) Ambient assisted living system for in-home monitoring of healthy independent elders. Expert Syst Appl 39(9):8136\u20138148. doi: 10.1016\/j.eswa.2012.01.153","journal-title":"Expert Syst Appl"},{"key":"40_CR12","doi-asserted-by":"publisher","unstructured":"Brumitt B, Meyers B, Krumm J, Kern A, Shafer S (2000) EasyLiving: technologies for intelligent environments. Springer, Berlin, pp 12\u201329. doi: 10.1007\/3-540-39959-3_2","DOI":"10.1007\/3-540-39959-3_2"},{"key":"40_CR13","unstructured":"Callaghan V et al (2009) Increasing reliability in the development of intelligent environments. In: Proceedings of the 5th international conference on intelligent environments, IOS Press, vol 2, p 134"},{"issue":"1","key":"40_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.cmpb.2008.02.001","volume":"91","author":"M Chan","year":"2008","unstructured":"Chan M, Estve D, Escriba C, Campo E (2008) A review of smart homes\u2014present state and future challenges. Comput Methods Programs Biomed 91(1):55\u201381. doi: 10.1016\/j.cmpb.2008.02.001","journal-title":"Comput Methods Programs Biomed"},{"issue":"4\u20135","key":"40_CR15","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1017\/S1471068411000135","volume":"11","author":"M Comini","year":"2011","unstructured":"Comini M, Titolo L, Villanueva A (2011) Abstract diagnosis for timed concurrent constraint programs. Theory Pract Log Program 11(4\u20135):487\u2013502","journal-title":"Theory Pract Log Program"},{"issue":"4\u20135","key":"40_CR16","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1017\/S1471068414000349","volume":"14","author":"M Comini","year":"2014","unstructured":"Comini M, Titolo L, Villanueva A (2014) Abstract diagnosis for tccp using a linear temporal logic. Theory Pract Log Program 14(4\u20135):787\u2013801","journal-title":"Theory Pract Log Program"},{"issue":"10","key":"40_CR17","doi-asserted-by":"publisher","first-page":"1387","DOI":"10.1016\/j.medengphy.2008.09.003","volume":"30","author":"RA Cooper","year":"2008","unstructured":"Cooper RA, Dicianno BE, Brewer B, LoPresti E, Ding D, Simpson R, Grindle G, Wang H (2008) A perspective on intelligent devices and environments in medical rehabilitation. Med Eng Phys 30(10):1387\u20131398. doi: 10.1016\/j.medengphy.2008.09.003","journal-title":"Med Eng Phys"},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"Cousot P, Halbwachs N (1978) Automatic discovery of linear restraints among variables of a program. In: Aho AV, Zilles SN, Szymanski TG (eds) Proceedings of the 5th annual ACM symposium on principles of programming languages, ACM Press, pp 84\u201396","DOI":"10.1145\/512760.512770"},{"key":"40_CR19","doi-asserted-by":"crossref","unstructured":"Frehse G, Le Guernic C, Donz\u00e9 A, Cotton S, Ray R, Lebeltel O, Ripado R, Girard A, Dang T, Maler O (2011) SpaceEx: scalable verification of hybrid systems. In: Ganesh Gopalakrishnan SQ (ed) Proceedings of the 23rd international conference on computer aided verification (CAV), Springer, LNCS","DOI":"10.1007\/978-3-642-22110-1_30"},{"issue":"6","key":"40_CR20","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1002\/stvr.1505","volume":"24","author":"MM Gallardo","year":"2013","unstructured":"Gallardo MM, Panizo L (2013) Extending model checkers for hybrid system verification: the case study of SPIN. Softw Test Verif Reliab 24(6):438\u2013471","journal-title":"Softw Test Verif Reliab"},{"key":"40_CR21","doi-asserted-by":"crossref","unstructured":"Gallardo MM, Merino P, Pimentel E (2002) Refinement of LTL formulas for abstract model checking. In: 9th international static analysis symposium, SAS 2002, pp 395\u2013410","DOI":"10.1007\/3-540-45789-5_28"},{"key":"40_CR22","doi-asserted-by":"publisher","unstructured":"Gallardo MM, Lavado L, Panizo L (2016) A simulation tool for tccp programs. In: Proceedings of 24th international workshop on functional and (constraint) logic programming (WFLP 2016), pp 120\u2013134. doi: 10.4204\/EPTCS.234.9","DOI":"10.4204\/EPTCS.234.9"},{"key":"40_CR23","doi-asserted-by":"publisher","unstructured":"Gallardo MM, Merino P, Panizo L, Salmer\u00f3n A (2016) River basin management with SPIN. In: Bonaki D, Wijs A (eds) Model checking software: 23rd international symposium, SPIN 2016 co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7\u20138, 2016. Lecture notes in computer science. Proceedings, Springer, Switzerland, pp 78\u201396. doi: 10.1007\/978-3-319-32582-8","DOI":"10.1007\/978-3-319-32582-8"},{"key":"40_CR24","doi-asserted-by":"crossref","unstructured":"Goodloe A, Mu\u00f1oz C, Kirchner F, Correnson L (2013) Verification of numerical programs: from real numbers to floating point numbers. In: 5th international symposium on NASA formal methods, NFM 2013, Moffett Field, CA, USA, May 14\u201316, 2013. Lecture notes in computer science, vol 7871. Springer, pp 441\u2013446","DOI":"10.1007\/978-3-642-38088-4_31"},{"key":"40_CR25","doi-asserted-by":"publisher","unstructured":"Gupta V, Jagadeesan R, Saraswat V, Bobrow DG (1995) Programming in hybrid constraint languages. In: Antsaklis P, Kohn W, Nerode A, Sastry S (eds) Hybrid systems II. Springer, Berlin, pp 226\u2013251. doi: 10.1007\/3-540-60472-3_12","DOI":"10.1007\/3-540-60472-3_12"},{"key":"40_CR26","doi-asserted-by":"crossref","unstructured":"Henzinger TA (1996) The theory of hybrid automata. In: Proceedings of the 11th annual IEEE symposium on logic in computer science, IEEE Computer Society, pp 278\u2013292","DOI":"10.1109\/LICS.1996.561342"},{"issue":"5","key":"40_CR27","doi-asserted-by":"publisher","first-page":"479","DOI":"10.3233\/AIS-130220","volume":"5","author":"O Kafal\u0131","year":"2013","unstructured":"Kafal\u0131 O, Bromuri S, Sindlar M, van der Weide T, Aguilar Pelaez E, Schaechtle U, Alves B, Zufferey D, Rodriguez-Villegas E, Schumacher MI, Stathis K (2013) COMMODITY12: a smart e-health environment for diabetes management. J Ambient Intell Smart Environ 5(5):479\u2013502. doi: 10.3233\/AIS-130220","journal-title":"J Ambient Intell Smart Environ"},{"issue":"1\u20132","key":"40_CR28","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) UPPAAL in a nutshell. Int J Softw Tools Technol Transf 1(1\u20132):134\u2013152","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"2","key":"40_CR29","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s40860-016-0020-z","volume":"2","author":"T Guilly Le","year":"2016","unstructured":"Le Guilly T, Nielsen MK, Pedersen T, Skou A, Kjeldskov J, Skov M (2016) User constraints for reliable user-defined smart home scenarios. J Reliab Intell Environ 2(2):75\u201391. doi: 10.1007\/s40860-016-0020-z","journal-title":"J Reliab Intell Environ"},{"key":"40_CR30","unstructured":"Li X, Bauer K, Schneider K (2013) Interactive verification of cyber-physical systems: interfacing Averest and KeYmaera. In: Ganzha M, Maciaszek LA, Paprzycki M (eds) Proceedings of the 2013 federated conference on computer science and information systems, Krak\u00f3w, Poland, pp 1393\u20131400, 8\u201311 Sept 2013 pp 1393\u20131400"},{"issue":"7","key":"40_CR31","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1109\/5.871302","volume":"88","author":"C Livadas","year":"2000","unstructured":"Livadas C, Lygeros J, Lynch N (2000) High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS). Proc IEEE 88(7):926\u2013948","journal-title":"Proc IEEE"},{"key":"40_CR32","doi-asserted-by":"publisher","unstructured":"Maler O, Batt G (2008) Approximating continuous systems by timed automata. In: Fisher J (ed) Proceedings of the 1st international workshop formal of methods in systems biology (FMSB 2008). Springer, Berlin, pp 77\u201389. doi: 10.1007\/978-3-540-68413-8_6","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"40_CR33","doi-asserted-by":"publisher","unstructured":"Navarrete I, Rubio JA, Bot\u00eda JA, Palma JT, Campuzano FJ (2012) Modeling a risk detection system for elderly\u2019s home-care with a network of timed automata. In: Bravo J, Herv\u00e1s R, Rodr\u00edguez M (eds) Proceedings of the 4th international workshop ambient assisted living and home care (IWAAL 2012). Springer, Berlin, pp 82\u201389. doi: 10.1007\/978-3-642-35395-6_11","DOI":"10.1007\/978-3-642-35395-6_11"},{"issue":"6","key":"40_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2382756.2382793","volume":"37","author":"L Panizo","year":"2012","unstructured":"Panizo L, Gallardo MM (2012) An extension of Java PathFinder for hybrid systems. ACM SIGSOFT Softw Eng Notes 37(6):1\u20135","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"40_CR35","unstructured":"Saraswat VA, Rinard M (1989) Concurrent constraint programming. In: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM, pp 232\u2013245"},{"key":"40_CR36","doi-asserted-by":"crossref","unstructured":"Saraswat VA, Rinard M (1990) Concurrent constraint programming. In: POPL \u201990: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on principles of programming languages, ACM, pp 232\u2013245","DOI":"10.1145\/96709.96733"},{"key":"40_CR37","unstructured":"Schneider K (2009) The synchronous programming language Quartz. PhD thesis, University of Kaiserslautern"},{"issue":"3","key":"40_CR38","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11036-011-0304-8","volume":"16","author":"J White","year":"2011","unstructured":"White J, Thompson C, Turner H, Dougherty B, Schmidt DC (2011) WreckWatch: automatic traffic accident detection and notification with smartphones. Mob Netw Appl 16(3):285\u2013303. doi: 10.1007\/s11036-011-0304-8","journal-title":"Mob Netw Appl"},{"key":"40_CR39","doi-asserted-by":"publisher","unstructured":"Zafari F, Mahmud S, Khan G, Rahman M, Zafar H (2013) A survey of intelligent car parking system. J Appl Res Technol 11(5):714\u2013726. doi: 10.1016\/S1665-6423(13)71580-3","DOI":"10.1016\/S1665-6423(13)71580-3"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-017-0040-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-017-0040-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-017-0040-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T02:38:43Z","timestamp":1719196723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-017-0040-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,12]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["40"],"URL":"https:\/\/doi.org\/10.1007\/s40860-017-0040-3","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"value":"2199-4668","type":"print"},{"value":"2199-4676","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,12]]}}}