{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T20:07:25Z","timestamp":1775246845654,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030024499","type":"print"},{"value":"9783030024505","type":"electronic"}],"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-02450-5_10","type":"book-chapter","created":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T08:54:57Z","timestamp":1539161697000},"page":"160-176","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5323-8501","authenticated-orcid":false,"given":"Paul","family":"Gainer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2913-7943","authenticated-orcid":false,"given":"Sven","family":"Linker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0455-0267","authenticated-orcid":false,"given":"Ullrich","family":"Hustadt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0875-3862","authenticated-orcid":false,"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,11]]},"reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/1735223.1735245","volume":"53","author":"S Albers","year":"2010","unstructured":"Albers, S.: Energy-efficient algorithms. Commun. ACM 53(5), 86\u201396 (2010)","journal-title":"Commun. ACM"},{"issue":"20","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1999","DOI":"10.1016\/j.tcs.2009.12.019","volume":"411","author":"E Bartocci","year":"2010","unstructured":"Bartocci, E., Corradini, F., Merelli, E., Tesei, L.: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20), 1999\u20132018 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bojic, I., Lipic, T., Kusek, M.: Scalability issues of firefly-based self-synchronization in collective adaptive systems. In: Proceedings of SASOW 2014, pp. 68\u201373. IEEE (2014)","DOI":"10.1109\/SASOW.2014.15"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Hillston, J.: Efficient checking of individual rewards properties in Markov population models. In: QAPL 2015. EPTCS, vol. 194, pp. 32\u201347. Open Publishing Association (2015)","DOI":"10.4204\/EPTCS.194.3"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/11901914_4","volume-title":"Automated Technology for Verification and Analysis","author":"AF Donaldson","year":"2006","unstructured":"Donaldson, A.F., Miller, A.: Symmetry reduction for probabilistic model checking using generic representatives. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 9\u201323. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11901914_4"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/3-540-48153-2_12","volume-title":"Correct Hardware Design and Verification Methods","author":"EA Emerson","year":"1999","unstructured":"Emerson, E.A., Trefler, R.J.: From asymmetry to full symmetry: new techniques for symmetry reduction in model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 142\u2013157. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48153-2_12"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-662-47221-7_9","volume-title":"Cellular Automata and Discrete Complex Systems","author":"N Fat\u00e8s","year":"2015","unstructured":"Fat\u00e8s, N.: Remarks on the cellular automaton global synchronisation problem. In: Kari, J. (ed.) AUTOMATA 2015. LNCS, vol. 9099, pp. 113\u2013126. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47221-7_9"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-40379-3_13","volume-title":"Towards Autonomous Robotic Systems","author":"P Gainer","year":"2016","unstructured":"Gainer, P., Dixon, C., Hustadt, U.: Probabilistic model checking of ant-based positionless swarming. In: Alboul, L., Damian, D., Aitken, J.M.M. (eds.) TAROS 2016. LNCS (LNAI), vol. 9716, pp. 127\u2013138. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40379-3_13"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-319-66335-7_14","volume-title":"Quantitative Evaluation of Systems","author":"P Gainer","year":"2017","unstructured":"Gainer, P., Linker, S., Dixon, C., Hustadt, U., Fisher, M.: Investigating parametric influence on discrete synchronisation protocols using quantitative model checking. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 224\u2013239. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_14"},{"issue":"5","key":"10_CR10","first-page":"512","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. FAC 6(5), 512\u2013535 (1994)","journal-title":"FAC"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","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.: Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413(1), 87\u2013105 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"033132","DOI":"10.1063\/1.2970103","volume":"18","author":"Keiji Konishi","year":"2008","unstructured":"Konishi, K., Kokame, H.: Synchronization of pulse-coupled oscillators with a refractory period and frequency distribution for a wireless sensor network. Chaos: Interdisciplinary J. Nonlinear Sci. 18(3) (2008)","journal-title":"Chaos: An Interdisciplinary Journal of Nonlinear Science"},{"key":"10_CR13","series-title":"LNP","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/BFb0013365","volume-title":"International Symposium on Mathematical Problems in Theoretical Physics","author":"Y Kuramoto","year":"1975","unstructured":"Kuramoto, Y.: Self-entrainment of a population of coupled non-linear oscillators. In: Araki, H. (ed.) International Symposium on Mathematical Problems in Theoretical Physics. LNP, vol. 39, pp. 420\u2013422. Springer, Heidelberg (1975)"},{"key":"10_CR14","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":"10_CR15","doi-asserted-by":"crossref","unstructured":"Lucarelli, D., Wang, I.J., et al.: Decentralized synchronization protocols with nearest neighbor communication. In: Proceedings of SenSys 2004, pp. 62\u201368. ACM (2004)","DOI":"10.1145\/1031495.1031503"},{"key":"10_CR16","unstructured":"MEMSIC Inc.: MICAz datasheet. www.memsic.com\/userfiles\/files\/Datasheets\/WSN\/micaz_datasheet-t.pdf . Accessed 15 Jan 2018"},{"issue":"6","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1645","DOI":"10.1137\/0150098","volume":"50","author":"RE Mirollo","year":"1990","unstructured":"Mirollo, R.E., Strogatz, S.H.: Synchronization of pulse-coupled biological oscillators. SIAM J. Appl. Math. 50(6), 1645\u20131662 (1990)","journal-title":"SIAM J. Appl. Math."},{"key":"10_CR18","unstructured":"Peskin, C.: Mathematical aspects of heart physiology. Courant Lecture Notes , Courant Institute of Mathematical Sciences, New York University (1975)"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"56","DOI":"10.3390\/s90100056","volume":"9","author":"IK Rhee","year":"2009","unstructured":"Rhee, I.K., Lee, J., Kim, J., Serpedin, E., Wu, Y.C.: Clock synchronization in wireless sensor networks: an overview. Sensors 9(1), 56\u201385 (2009)","journal-title":"Sensors"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Rhee, S., Seetharam, D., Liu, S.: Techniques for minimizing power consumption in low data-rate wireless sensor networks. In: Proceedings of WCNC 2004, pp. 1727\u20131731. IEEE (2004)","DOI":"10.1109\/WCNC.2004.1311813"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Soua, R., Minet, P.: A survey on energy efficient techniques in wireless sensor networks. In: Proceedings of WMNC 2011, pp. 1\u20139. IEEE (2011)","DOI":"10.1109\/WMNC.2011.6097244"},{"issue":"10","key":"10_CR22","doi-asserted-by":"publisher","first-page":"5293","DOI":"10.1109\/TSP.2012.2205685","volume":"60","author":"Y Wang","year":"2012","unstructured":"Wang, Y., Nu\u00f1ez, F., Doyle, F.J.: Energy-efficient pulse-coupled synchronization strategy design for wireless sensor networks through reduced idle listening. IEEE Trans. Sig. Process. 60(10), 5293\u20135306 (2012)","journal-title":"IEEE Trans. Sig. Process."},{"issue":"12","key":"10_CR23","doi-asserted-by":"publisher","first-page":"2292","DOI":"10.1016\/j.comnet.2008.04.002","volume":"52","author":"J Yick","year":"2008","unstructured":"Yick, J., Mukherjee, B., Ghosal, D.: Wireless sensor network survey. Comput. Netw. 52(12), 2292\u20132330 (2008)","journal-title":"Comput. Netw."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02450-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T19:19:21Z","timestamp":1775243961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02450-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030024499","9783030024505"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02450-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","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":"12 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.formal-analysis.com\/icfem\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","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":"66","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"14","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"33% - 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":"4","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"}}]}}