{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:46Z","timestamp":1725746806021},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_11","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T09:26:23Z","timestamp":1377768383000},"page":"168-182","source":"Crossref","is-referenced-by-count":1,"title":["Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks"],"prefix":"10.1007","author":[{"given":"Luca","family":"Battisti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damiano","family":"Macedonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Merro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"key":"11_CR1","unstructured":"Assegei, F.: Decentralized frame synchronization of a TDMA-based wireless sensor network. Master\u2019s thesis, Eindhoven University of Technology, Department of Electrical Engineering (2008)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: c. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"11_CR3","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST 2006. pp. 125\u2013126. IEEE Computer Society (2006)"},{"issue":"10","key":"11_CR4","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H.C. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H.C., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.P.: MODEST: A compositional modeling formalism for hard and softly timed systems. IEEE Trans. Software Eng. 32(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bulychev, P.E., David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B.: Checking and distributing statistical model checking. In: Goodloe, A., Person, S. (eds.) NFM 2012. LNCS, vol. 7226. Springer (2012)","DOI":"10.1007\/978-3-642-28891-3_39"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B., van Vliet, J., Wang, Z.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer (2011)","DOI":"10.1007\/978-3-642-24310-3_7"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Wang, Z.: Time for statistical model checking of real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 349\u2013355. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_27"},{"issue":"1","key":"11_CR8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.tcs.2011.07.018","volume":"413","author":"F. Heidarian","year":"2012","unstructured":"Heidarian, F., Schmaltz, J., Vaandrager, F.W.: Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413(1), 87\u2013105 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR9","doi-asserted-by":"crossref","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 (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"11_CR10","unstructured":"Nordic Semiconductors: nRF2401 Single-chip 2.4GHz Transceiver Data Sheet (2002)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods in System Design (2012), to appear","DOI":"10.1007\/s10703-012-0177-x"},{"key":"11_CR12","unstructured":"QUASIMODO: Preliminary description of case studies, deliverable 5.2 from the FP7 ICT STREP project 214755 (January 2009)"},{"issue":"3","key":"11_CR13","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.adhoc.2005.01.002","volume":"3","author":"B. Sundararaman","year":"2005","unstructured":"Sundararaman, B., Buy, U., Kshemkalyani, A.D.: Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks 3(3), 281\u2013323 (2005)","journal-title":"Ad Hoc Networks"},{"key":"11_CR14","unstructured":"van Vessem, I.: WSN gMAC protocol specifications. Tech. rep., CHESS B.V., Haarlem, NL (2008), version 1.1. Patent pending US 12 \/ 250,040"},{"issue":"1","key":"11_CR15","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/MSP.2010.938757","volume":"28","author":"Y.C. Wu","year":"2011","unstructured":"Wu, Y.C., Chaudhari, Q.M., Serpedin, E.: Clock synchronization of wireless sensor networks. IEEE Signal Process. Mag. 28(1), 124\u2013138 (2011)","journal-title":"IEEE Signal Process. Mag."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Yue, H., Bohnenkamp, H.C., Katoen, J.P.: Analyzing energy consumption in a gossiping mac protocol. In: M\u00fcller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds.) MMB &DFT 2010. LNCS, vol. 5987, pp. 107\u2013119. Springer (2010)","DOI":"10.1007\/978-3-642-12104-3_10"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Zhao, J., Govindan, R.: Understanding packet delivery performance in dense wireless sensor networks. In: Akyildiz, I.F., Estrin, D., Culler, D.E., Srivastava, M.B. (eds.) SenSys 2003. pp. 1\u201313. ACM (2003)","DOI":"10.1145\/958491.958493"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:27:26Z","timestamp":1558052846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}