{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:16Z","timestamp":1775053096314,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1997,5]]},"DOI":"10.1023\/a:1007949113722","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:13:40Z","timestamp":1040541220000},"page":"243-294","source":"Crossref","is-referenced-by-count":61,"title":["CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems"],"prefix":"10.1007","volume":"12","author":[{"given":"Paulo","family":"Ver\u00edssimo","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Rodrigues","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Casimiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"125460_CR1","doi-asserted-by":"crossref","unstructured":"Birman, K., Schiper, A., and Stephenson, P. Lightweight Causal and Atomic Group Multicast. ACM Transactions on Computer Systems, 9(3), August 1991.","DOI":"10.1145\/128738.128742"},{"key":"125460_CR2","unstructured":"Clegg, M. and Marzullo, K. Clock synchronization in hard real-time distributed systems. Technical Report CS96-478, University of California, San Diego, Department of Computer Science and Engineering, February 1996."},{"key":"125460_CR3","unstructured":"Couvet, D., Florin, G., and Natkin, S. A Statistical Clock Synchronization Algorithm for Anisotropic Networks. In Proceedings of the 10th Symposium on Reliable Distributed Systems, pages 41\u201351. IEEE, 1991."},{"key":"125460_CR4","doi-asserted-by":"crossref","unstructured":"Cristian, F. and Fetzer, C. Fault-tolerant external clock synchronization. In Proceedings of the 15th International Conference on Distributed Computing Systems, pages 70\u201377, Vancouver, British Columbia, Canada, May 1995. IEEE.","DOI":"10.1109\/ICDCS.1995.500004"},{"key":"125460_CR5","unstructured":"Cristian, F., Aghili, H., and Strong, R. Clock Synchronization in the Presence of Omission and Performance Faults. In Digest of Papers, The 16th International Symposium on Fault-Tolerant Computing, pages 218\u2013223, Vienna, Austria, July 1986. IEEE."},{"key":"125460_CR6","doi-asserted-by":"crossref","unstructured":"Cristian, F. Probabilistic Clock Synchronization. Distributed Computing, Springer Verlag, 1989(3), 1989.","DOI":"10.1007\/BF01784024"},{"issue":"1","key":"125460_CR7","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00365327","volume":"2","author":"F. Cristian","year":"1990","unstructured":"Cristian, F. Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195\u2013212, 1990.","journal-title":"The Journal of Real-Time Systems"},{"key":"125460_CR8","unstructured":"FDDI. FDDI Token-Ring Media Access Control (MAC). ANSI X3.139, 1987."},{"issue":"2","key":"125460_CR9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/A:1007905917490","volume":"12","author":"C. Fetzer","year":"1997","unstructured":"Fetzer, C. and Cristian, F. Integrating external and internal clock synchronization. Journal of Real-Time Systems, Vol. 12(2): 123-172, 1997.","journal-title":"Journal of Real-Time Systems"},{"issue":"1","key":"125460_CR10","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BF01843568","volume":"1","author":"M. Fischer","year":"1986","unstructured":"Fischer, M., Lynch, N., and Merrit, M. Easy impossibility proofs for the distributed consensus problem. Distributed Computing, 1(1):26\u201339, 1986.","journal-title":"Distributed Computing"},{"issue":"2","key":"125460_CR11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF02259749","volume":"5","author":"J. Halpern","year":"1991","unstructured":"Halpern, J. and Suzuki, I. Clock synchronization and the power of broadcasting. Distributed Computing, 5(2):73\u201382, 1991.","journal-title":"Distributed Computing"},{"key":"125460_CR12","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Simons, B., Strong, R., and Dolev, D. Fault-Tolerant Clock Synchronization. In Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, pages 89\u2013102, Vancouver, Canada, August 1984.","DOI":"10.1145\/800222.806739"},{"issue":"10","key":"125460_CR13","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1109\/PROC.1978.11113","volume":"66","author":"A.L. Hopkins","year":"1978","unstructured":"Hopkins, A.L., Smith, T.B., and Lala, J.H. FTMP-A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft. Proceedings IEEE, 66(10):1221\u20131240, October 1978.","journal-title":"Proceedings IEEE"},{"key":"125460_CR14","unstructured":"ISO. ISO DIS 8802\/3-85, Carrier Sense Multiple Access with Collision Detection, 1985."},{"key":"125460_CR15","unstructured":"ISO DIS 8802\/4-85, Token Passing Bus Access Method, 1985."},{"key":"125460_CR16","unstructured":"ISO DP 8802\/5-85, Token Ring Access Method, 1985."},{"issue":"8","key":"125460_CR17","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"C-36","author":"H. Kopetz","year":"1987","unstructured":"Kopetz, H. and Ochsenreiter, W. Clock Synchronization in Distributed Real-Time Systems. IEEE Transactions on Computers, C-36(8):933\u2013940, August 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"125460_CR18","series-title":"Technical Report","volume-title":"Global time in distributed real-time systems","author":"H. Kopetz","year":"1989","unstructured":"Kopetz, H. and Schwabl, W. Global time in distributed real-time systems. Technical Report 15\/89, Technische Universitat Wien, Wien Austria, October 1989."},{"issue":"8","key":"125460_CR19","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1109\/TC.1985.1676622","volume":"C-43","author":"C.M. Krishna","year":"1985","unstructured":"Krishna, C.M., Shin, K.G., and Butler, R.W. Ensuring Fault Tolerance of Phase-Locked Clocks. IEEE Transac. Computers, C-43(8):752\u2013756, August 1985.","journal-title":"IEEE Transac. Computers"},{"issue":"1","key":"125460_CR20","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/2455.2457","volume":"32","author":"L. Lamport","year":"1985","unstructured":"Lamport, L. and Melliar-Smith, P. Synchronizing Clocks in the Presence of Faults. Journal of the ACM, 32(1):52\u201378, January 1985.","journal-title":"Journal of the ACM"},{"key":"125460_CR21","unstructured":"Le Lann, G. and Rivi\u00e8re, N. Real-time communications over broadcast networks: the CSMA-DCR and the DOD-CSMA-CD protocols. Technical Report 1863, INRIA, March 1993."},{"key":"125460_CR22","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S0019-9958(84)80033-9","volume":"62","author":"J. Lundelius","year":"1984","unstructured":"Lundelius, J. and Lynch, N. An upper and lower bound for clock synchronization. Information and Control, 62:190\u2013204, 1984.","journal-title":"Information and Control"},{"key":"125460_CR23","doi-asserted-by":"crossref","unstructured":"Mills, D. Network time protocol (version 2): Specification and implementation. Technical Report RFC 1119, DARPA Network Working Group, September 1989.","DOI":"10.17487\/rfc1119"},{"key":"125460_CR24","doi-asserted-by":"crossref","unstructured":"Olson, A. and Shin, K.G. Probabilistic clock synchronization in large distributed systems. In Proceedings of the 11th International Conference on Distributed Computing Systems, pages 290\u2013297, Arlington, Texas, USA, May 1991. IEEE.","DOI":"10.1109\/ICDCS.1991.148679"},{"issue":"10","key":"125460_CR25","doi-asserted-by":"crossref","first-page":"1177","DOI":"10.1109\/PROC.1983.12745","volume":"71","author":"B. Parkinson","year":"1983","unstructured":"Parkinson, B. and Gilbert, S. Navstar: Global positioning system\u2014 ten years later. Proceedings of the IEEE, 71(10):1177\u20131186, October 1983.","journal-title":"Proceedings of the IEEE"},{"key":"125460_CR26","doi-asserted-by":"crossref","unstructured":"Powell, D., editor. Delta-4-A Generic Architecture for Dependable Distributed Computing. ESPRIT Research Reports. Springer Verlag, November 1991.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"125460_CR27","doi-asserted-by":"crossref","unstructured":"Ramanathan, P., Shin, K.G., and Butler. R.W. Fault-Tolerant Clock Synchronization in Distributed Systems. IEEE, Computer, pages 33\u201342, October 1990.","DOI":"10.1109\/2.58235"},{"key":"125460_CR28","unstructured":"Rodrigues, L. and Ver\u00edssimo, P. xAMp: a Multi-primitive Group Communications Service. In Proceedings of the 11th Symposium on Reliable Distributed Systems, Houston, Texas, October 1992. IEEE."},{"key":"125460_CR29","doi-asserted-by":"crossref","unstructured":"Rodrigues, L., Ver\u00edssimo, P., and Casimiro, A. Using atomic broadcast to implement a posteriori agreement for clock synchronization. In Proceedings of the 12th Symposium on Reliable Distributed Systems, pages 115\u2013124, Princeton, New Jersey, October 1993. IEEE. Also as INESC AR\/29-93.","DOI":"10.1109\/RELDIS.1993.393467"},{"key":"125460_CR30","doi-asserted-by":"crossref","unstructured":"Rom, R. Ordering subscribers on cable networks. ACM Transactions on Computer Systems, 2(4), November 1984.","DOI":"10.1145\/357401.357405"},{"key":"125460_CR31","doi-asserted-by":"crossref","unstructured":"Schmid, U. Synchronized universal time coordinated for distributed real-time systems. Control Engineering Practice,1995.","DOI":"10.1016\/0967-0661(95)00073-4"},{"issue":"2","key":"125460_CR32","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/A:1007957901560","volume":"12","author":"U. Schmid","year":"1997","unstructured":"Schmid, U. and Schossmaier, K. Interval-based clock synchronization. Journal of Real-Time Systems, Vol. 12(2): 173-228, 1997.","journal-title":"Journal of Real-Time Systems"},{"key":"125460_CR33","volume-title":"Understanding protocols for byzantine clock synchronization","author":"F.B. Schneider","year":"1987","unstructured":"Schneider, F.B. Understanding protocols for byzantine clock synchronization. Technical report, Cornell University, Ithaca, New York, August 1987."},{"issue":"3","key":"125460_CR34","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1023\/A:1007953214631","volume":"12","author":"K. Schossmaier","year":"1997","unstructured":"Schossmaier, K., Schmid, U., Horauer, M., and Loy, D. Specification and implementation of the universal time coordinated synchronization unit (UTCSU). Journal of Real-Time Systems, Vol. 12(3): 295-327, 1997.","journal-title":"Journal of Real-Time Systems"},{"issue":"3","key":"125460_CR35","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1145\/28869.28876","volume":"34","author":"T.K. Srikanth","year":"1987","unstructured":"Srikanth, T.K. and Toueg, S. Optimal Clock Synchronization. Journal of the Association for Computing Machinery, 34(3):627\u2013645, July 1987.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"125460_CR36","unstructured":"Ver\u00edssimo, P. and Marques, J.A. Reliable broadcast for fault-tolerance on local computer networks. In Proceedings of the 9th Symposium on Reliable Distributed Systems, Huntsville, Alabama-USA, October 1990. IEEE. Also as INESC AR\/24-90."},{"key":"125460_CR37","unstructured":"Ver\u00edssimo, P. and Rodrigues, L. A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing, Boston-USA, July 1992. IEEE. INESC AR\/65-92."},{"key":"125460_CR38","series-title":"Technical Report","volume-title":"A Framework for Structuring Group Support in LSDCs","author":"P. Ver\u00edssimo","year":"1993","unstructured":"Ver\u00edssimo, P., Vogel, W., and Rodrigues, L. A Framework for Structuring Group Support in LSDCs. Technical Report RT\/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993."},{"key":"125460_CR39","unstructured":"Ver\u00edssimo, P. Real-time Communication. In S.J. Mullender, editor, Distributed Systems, 2nd Edition, ACM-Press, chapter 17, pages 447\u2013490. Addison-Wesley, 1993."},{"key":"125460_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(88)90043-0","volume":"77","author":"J. Welch Lundelius","year":"1988","unstructured":"Welch Lundelius, J. and Lynch, N. A new fault-tolerant algorithm for clock synchronization. Information and Computation, 77:1\u201336, 1988.","journal-title":"Information and Computation"},{"key":"125460_CR41","doi-asserted-by":"crossref","unstructured":"Zheng, Q. and Shin, K.G. Fault-tolerant real-time communication in distributed computing systems. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing Systems, pages 86\u201393. IEEE, 1992.","DOI":"10.1109\/FTCS.1992.243612"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007949113722.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1007949113722\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1007949113722.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:23:22Z","timestamp":1754637802000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1007949113722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["125460"],"URL":"https:\/\/doi.org\/10.1023\/a:1007949113722","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}