{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:34:20Z","timestamp":1725896060852},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642199363"},{"type":"electronic","value":"9783642199370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19937-0_2","type":"book-chapter","created":{"date-parts":[[2011,3,28]],"date-time":"2011-03-28T09:24:07Z","timestamp":1301304247000},"page":"9-16","source":"Crossref","is-referenced-by-count":9,"title":["Design Time Methodology for the Formal Verification of Intelligent Domotic Environments"],"prefix":"10.1007","author":[{"given":"Fulvio","family":"Corno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Sanaullah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2298\/CSIS0701001A","volume":"4","author":"J.C. Augusto","year":"2007","unstructured":"Augusto, J.C., Mccullagh, P.: Ambient Intelligence: Concepts and Applications. Computer Science and Information Systems\u00a04(1), 1\u201327 (2007)","journal-title":"Computer Science and Information Systems"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/TCE.2008.4711217","volume":"54","author":"D. Bonino","year":"2008","unstructured":"Bonino, D., Castellina, E., Corno, F.: The DOG gateway: Enabling Ontology-based Intelligent Domotic Environments. IEEE Transactions on Consumer Electronics\u00a054(4), 1656\u20131664 (2008), doi:10.1109\/TCE.2008.4711217","journal-title":"IEEE Transactions on Consumer Electronics"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"790","DOI":"10.1007\/978-3-540-88564-1_51","volume-title":"The Semantic Web - ISWC 2008","author":"D. Bonino","year":"2008","unstructured":"Bonino, D., Corno, F.: DogOnt - ontology modeling for intelligent domotic environments. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 790\u2013803. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Bonino, D., Corno, F.: DogSim: A State Chart Simulator for Domotic Environments. In: 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), pp. 208\u2013213 (2010), doi:10.1109\/PERCOMW.2010.5470666","key":"2_CR4","DOI":"10.1109\/PERCOMW.2010.5470666"},{"key":"2_CR5","volume-title":"Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide. The Addison Wesley, Reading (1998) ISBN 0-201-57168-4"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"2_CR7","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R.: Three Logics for Branching Bisimulation. Journal of the Association for Computing Machinery\u00a042(2), 458\u2013487 (1995)","journal-title":"Journal of the Association for Computing Machinery"},{"unstructured":"Ducatel, K., Bogdanowicz, M., Scapolo, F., Leijten, J., Burgelman, J.C.: Scenarios for Ambient Intelligence in 2010. Tech. rep., ISTAG: IST Advisory Group (2001)","key":"2_CR8"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S1567-8326(01)00012-1","volume":"51","author":"S. Gnesi","year":"2002","unstructured":"Gnesi, S., Latella, D., Massink, M.: Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. Journal of Logic and Algebraic Programming\u00a051(1), 43\u201375 (2002)","journal-title":"Journal of Logic and Algebraic Programming"},{"unstructured":"Gnesi, S., Mazzanti, F.: On the fly model checking UML State Machines. In: ACIS International Conference on Software Engineering Research, Management and Applications, pp. 331\u20133382 (2004)","key":"2_CR10"},{"unstructured":"Gnesi, S., Mazzanti, F.: A Model Checking Verification Environments for UML Statecharts. In: Proceedings of the XLIII Congresso Annuale AICA (2005)","key":"2_CR11"},{"unstructured":"Mazzanti, F.: UMC 3.3 User Guide, ISTI Technical Report 2006-TR-33. ISTI-NNR Pisa-Italy (2006)","key":"2_CR12"},{"unstructured":"OSGi Service Platform release 4. Tech. rep., The OSGi alliance (2007)","key":"2_CR13"},{"unstructured":"State chart XML (SCXML): State Machine Notation for Control Abstraction. Tech. rep., W3C (2010), \n                    \n                      http:\/\/www.w3.org\/TR\/scxml\/","key":"2_CR14"}],"container-title":["Advances in Intelligent and Soft Computing","Ambient Intelligence - Software and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19937-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:58:30Z","timestamp":1619787510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19937-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642199363","9783642199370"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19937-0_2","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2011]]}}}