Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593