Formal Modeling and Analysis of Apache Kafka in Alloy 6. - Saloni Sinha; Eunsuk Kang (ABZ, 2024)