S. Puram, “Reliable and Scalable Mobile Technology Architecture: A Formal Model, Synchronization Protocol, and Reference Design”, tajet, vol. 3, no. 08, pp. 33–48, Aug. 2021.