"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022)