{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:46:22Z","timestamp":1761896782304,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T00:00:00Z","timestamp":1510099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FP7-PEOPLE-2012-IAPP","award":["324432"],"award-info":[{"award-number":["324432"]}]},{"name":"European Union Operational Programme II - Cohesion Policy 2014 - 2020.","award":["Endeavour"],"award-info":[{"award-number":["Endeavour"]}]},{"name":"Alan Turing Institute"},{"DOI":"10.13039\/501100003151","name":"Fonds de Recherche du Qu\u00e9bec - Nature et Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003151","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,8]]},"DOI":"10.1145\/3137133.3137138","type":"proceedings-article","created":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T12:31:17Z","timestamp":1523449877000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Efficient probabilistic model checking of smart building maintenance using fault maintenance trees"],"prefix":"10.1145","author":[{"given":"Nathalie","family":"Cauchi","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Khaza Anuarul","family":"Hoque","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[{"name":"University of Twente, Twente, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"HVAC systems and equipment","author":"Handbook ASHRAE.","year":"1996","unstructured":"Handbook ASHRAE. 1996. HVAC systems and equipment . American Society of Heating , Refrigerating , and Air Conditioning Engineers, Atlanta, GA ( 1996 ). Handbook ASHRAE. 1996. HVAC systems and equipment. American Society of Heating, Refrigerating, and Air Conditioning Engineers, Atlanta, GA (1996)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2016.07.019"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2539326"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.13"},{"key":"e_1_3_2_1_5_1","volume-title":"Model-based predictive maintenance in building automation systems with user discomfort. Energy","author":"Cauchi Nathalie","year":"2017","unstructured":"Nathalie Cauchi , Karel Macek , and Alessandro Abate . 2017. Model-based predictive maintenance in building automation systems with user discomfort. Energy ( 2017 ). Nathalie Cauchi, Karel Macek, and Alessandro Abate. 2017. Model-based predictive maintenance in building automation systems with user discomfort. Energy (2017)."},{"key":"e_1_3_2_1_6_1","volume-title":"12 pages","author":"European Parliament and Council of the European Union. 2010. Directive 2010\/31\/EU.","year":"2010","unstructured":"European Parliament and Council of the European Union. 2010. Directive 2010\/31\/EU. ( 2010 ), 12 pages . European Parliament and Council of the European Union. 2010. Directive 2010\/31\/EU. (2010), 12 pages."},{"key":"e_1_3_2_1_7_1","series-title":"Nato Science for Peace and Security Series","volume-title":"From Concurrency Models to Numbers","author":"Hermanns Holger","unstructured":"Holger Hermanns and Lijun Zhang . 2011. From Concurrency Models to Numbers . In Nato Science for Peace and Security Series . IOS Press . Holger Hermanns and Lijun Zhang. 2011. From Concurrency Models to Numbers. In Nato Science for Peace and Security Series. IOS Press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2755753.2757191"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961856"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2003.08.011"},{"volume-title":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","author":"Kwiatkowska Marta","key":"e_1_3_2_1_11_1","unstructured":"Marta Kwiatkowska , Gethin Norman , and David Parker . 2007. Stochastic model checking . In International School on Formal Methods for the Design of Computer, Communication and Software Systems . Springer , 220--270. Marta Kwiatkowska, Gethin Norman, and David Parker. 2007. Stochastic model checking. In International School on Formal Methods for the Design of Computer, Communication and Software Systems. Springer, 220--270."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2015.06.131"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2016.7447986"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2669892"},{"key":"e_1_3_2_1_16_1","volume-title":"An efficient approximate Markov chain method in dynamic fault tree analysis. Quality and Reliability Engineering International","author":"Yevkin Olexandr","year":"2015","unstructured":"Olexandr Yevkin . 2015. An efficient approximate Markov chain method in dynamic fault tree analysis. Quality and Reliability Engineering International ( 2015 ). Olexandr Yevkin. 2015. An efficient approximate Markov chain method in dynamic fault tree analysis. Quality and Reliability Engineering International (2015)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220880.3220972"}],"event":{"name":"BuildSys '17: The 4th ACM International Conference on Systems for Energy-Efficient Built Environments","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Delft Netherlands","acronym":"BuildSys '17"},"container-title":["Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137133.3137138","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3137133.3137138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:10Z","timestamp":1750212670000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137133.3137138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,8]]},"references-count":17,"alternative-id":["10.1145\/3137133.3137138","10.1145\/3137133"],"URL":"https:\/\/doi.org\/10.1145\/3137133.3137138","relation":{},"subject":[],"published":{"date-parts":[[2017,11,8]]},"assertion":[{"value":"2017-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}