{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T21:21:42Z","timestamp":1761168102086,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030022266"},{"type":"electronic","value":"9783030022273"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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":[[2018]]},"DOI":"10.1007\/978-3-030-02227-3_8","type":"book-chapter","created":{"date-parts":[[2018,10,2]],"date-time":"2018-10-02T03:35:10Z","timestamp":1538451310000},"page":"110-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Smart Buildings Using Fault Maintenance Trees"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos E.","family":"Budde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathalie","family":"Cauchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"van Harmelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaza Anuarul","family":"Hoque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,3]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Aven, T., Jensen, U. (eds.): Maintenance optimization. Stochastic Models in Reliability, pp. 169\u2013211. Springer, New York (1999). https:\/\/doi.org\/10.1007\/978-0-387-22593-7_5","DOI":"10.1007\/978-0-387-22593-7_5"},{"key":"8_CR2","unstructured":"ASHRAE: HVAC systems and equipment. American Society of Heating, Refrigerating, and Air Conditioning Engineers, Atlanta, GA (1996)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1108\/JQME-01-2015-0001","volume":"22","author":"Cheong Peng Au-Yong","year":"2016","unstructured":"Au-Yong, C.P., Ali, A.S., Ahmad, F.: Enhancing building maintenance cost performance with proper management of spare parts. JQME 22(1), 51\u201361 (2016)","journal-title":"Journal of Quality in Maintenance Engineering"},{"issue":"3674","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1208","DOI":"10.1126\/science.148.3674.1208-a","volume":"148","author":"S. K. Banerjee","year":"1965","unstructured":"Barlow, R.E., Proschan, F.: Mathematical theory of reliability. Science 148(3674), 1208\u20131209 (1965)","journal-title":"Science"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Cauchi, N., Hoque, K.A., Abate, A., Stoelinga, M.: Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. In: BuildSys (2017)","DOI":"10.1145\/3137133.3137138"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1016\/j.energy.2017.07.104","volume":"138","author":"Nathalie Cauchi","year":"2017","unstructured":"Cauchi, N., Macek, K., Abate, A.: Model-based predictive maintenance inbuilding automation systems with user discomfort. Energy 138(Suppl. C), 306\u2013315 (2017)","journal-title":"Energy"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR8","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"4","key":"8_CR9","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"Alexandre David","year":"2015","unstructured":"David, A., Larsen, K., Legay, A., Miku\u010dionis, M., Poulsen, D.: Uppaal SMC tutorial. Intl. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"3","key":"8_CR10","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1080\/15326348708807067","volume":"3","author":"Aldous David","year":"1987","unstructured":"David, A., Larry, S.: The least variable phase type distribution is Erlang. Communications in statistics. Stoch. Models 3(3), 467\u2013473 (1987)","journal-title":"Communications in Statistics. Stochastic Models"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: RAMS, pp. 286\u2013293 (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Faisal, I., Mahmoud, M.: Risk-based maintenance (RBM): a quantitative approach for maintenance\/inspection scheduling and planning. J. Loss Prev. Process Ind. 16(6), 561\u2013573 (2003)","DOI":"10.1016\/j.jlp.2003.08.011"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-319-25423-4_19","volume-title":"Formal Methods and Software Engineering","author":"D Guck","year":"2015","unstructured":"Guck, D., Spel, J., Stoelinga, M.: DFTCalc: reliability centered maintenance via fault tree analysis (tool paper). In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 304\u2013311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4_19"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: DSN, pp. 299\u2013310. IEEE, June 2016","DOI":"10.1109\/DSN.2016.35"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-57685-5_3","volume-title":"Formal System Verification","author":"M Kwiatkowska","year":"2018","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking: advances and applications. In: Drechsler, R. (ed.) Formal System Verification, pp. 73\u2013121. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-57685-5_3"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-1-84800-011-7_11","volume-title":"Complex System Maintenance Handbook","author":"RP Nicolai","year":"2008","unstructured":"Nicolai, R.P., Dekker, R.: Optimal maintenance of multi-component systems: a review. In: Kobbacy, K.A.H., Murthy, D.N.P. (eds.) Complex System Maintenance Handbook, pp. 263\u2013286. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-1-84800-011-7_11"},{"volume-title":"Rare Event Simulation using Monte Carlo Methods","year":"2009","key":"8_CR18","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods. Wiley, Hoboken (2009)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-43425-4_22","volume-title":"Quantitative Evaluation of Systems","author":"E Ruijters","year":"2016","unstructured":"Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking. In: Agha, G., Van Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 331\u2013347. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-43425-4_22"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15-16","author":"Enno Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Computer Science Review"},{"key":"8_CR21","unstructured":"Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook. Technical report, U.S. Nuclear Regulatory Commission, Washington DC (1981)"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"Matthias Volk","year":"2018","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. 14(1), 370\u2013379 (2018)","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"1331","DOI":"10.1109\/TR.2017.2739126","volume":"66","author":"Dong Wang","year":"2017","unstructured":"Wang, D., Tsui, K.L.: Statistical modeling of bearing degradation signals. IEEE Trans. Reliab. 66(4), 1331\u20131344 (2017)","journal-title":"IEEE Transactions on Reliability"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_17"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02227-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T23:38:29Z","timestamp":1761089909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02227-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030022266","9783030022273"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02227-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"EPEW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Workshop on Performance Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"epew2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/epew2018.lacl.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"63% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}