{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:30:19Z","timestamp":1750746619506,"version":"3.37.3"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100014013","name":"UKRI","doi-asserted-by":"publisher","award":["EP\/N007565","EP\/V026801"],"award-info":[{"award-number":["EP\/N007565","EP\/V026801"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000287","name":"Royal Academy of Engineering","doi-asserted-by":"publisher","award":["Chair in Emerging Technologies"],"award-info":[{"award-number":["Chair in Emerging Technologies"]}],"id":[{"id":"10.13039\/501100000287","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1109\/tse.2024.3440587","type":"journal-article","created":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T17:22:28Z","timestamp":1723224148000},"page":"2458-2471","source":"Crossref","is-referenced-by-count":1,"title":["Parameterized Verification of Leader\/Follower Systems via Arithmetic Constraints"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9635-0643","authenticated-orcid":false,"given":"Georgios","family":"Kourtis","sequence":"first","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4610-9533","authenticated-orcid":false,"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0875-3862","authenticated-orcid":false,"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Operating Systems: Design and Implementation","volume":"2","author":"Tanenbaum","year":"1997"},{"key":"ref2","volume-title":"Replication Techniques in Distributed Systems","volume":"4","author":"Helal","year":"2005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11294-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1115\/1.2766721"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-020-9195-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-021-10097-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5574-4"},{"key":"ref9","first-page":"173","article-title":"European rail traffic management system\u2013An overview","volume-title":"Proc. 1st Int. Conf. Energy, Power Control (EPC-IQ)","author":"Abed","year":"2010"},{"key":"ref10","first-page":"3","article-title":"The automated airspace concept","volume-title":"Proc. 4th USA\/Europe Air Traffic Manage. R & D Seminar","author":"Erzberger","year":"2001"},{"key":"ref11","first-page":"3946","article-title":"Automated conflict resolution for air traffic control","volume-title":"Proc. 25th Congr. Int. Council Aeronautical Sci.","year":"2006"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1243\/09544100jaero546"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-022-00390-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00018-X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25984-8_23"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02959-2_21"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2010-0457"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132867"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_7"},{"article-title":"Reliable distributed consensus for low-power multi-hop networks","year":"2019","author":"Spina","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3335772.3335939"},{"issue":"4","key":"ref23","first-page":"51","article-title":"Paxos made simple","volume":"32","author":"Lamport","year":"2001","journal-title":"ACM SIGACT News (Distrib. Comput. Column)"},{"key":"ref24","first-page":"1","article-title":"Paxos made wireless: Consensus in the air.\u201d","volume-title":"Proc. Int. Conf. Embedded Wireless Syst. Netw.","author":"Poirot","year":"2019"},{"key":"ref25","first-page":"204","article-title":"Capture effect in IEEE 802.15. 4 networks: Modelling and experimentation","volume-title":"Proc. IEEE 5th Int. Symp. Wireless Pervasive Comput. 2010","author":"Gezer","year":"2010"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"5","key":"ref27","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s10009-016-0424-3","volume":"18","author":"Abdulla","year":"2016","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90071-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2843"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00102-X"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1294171129"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_2"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705644"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782630"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_8"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026276129010"},{"key":"ref37","first-page":"91","article-title":"Practical infinite-state verification with temporal reasoning","volume-title":"Proc. Verification Infinite State Syst. Security","volume":"1","author":"Fisher","year":"2006"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.15"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2003.1214884"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/146637.146681"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10683742\/10632563.pdf?arnumber=10632563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T06:26:50Z","timestamp":1726813610000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10632563\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9]]},"references-count":40,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3440587","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2024,9]]}}}