Formal Modeling And Analysis Of Distributed Systems By Ankush Desai Strange Loop 2022 Strange Loop Conference