Puram, S. Reliable and Scalable Mobile Technology Architecture: A Formal Model, Synchronization Protocol, and Reference Design. tajet 2021, 3, 33-48.