Puram, Srikanth. “Reliable and Scalable Mobile Technology Architecture: A Formal Model, Synchronization Protocol, and Reference Design”. The American Journal of Engineering and Technology, vol. 3, no. 08, Aug. 2021, pp. 33-48, https://theamericanjournals.com/index.php/tajet/article/view/8089.