Multi-Grained Specs for Distributed System Model Checking and Verificationmuratbuffalo.blogspot.com3 pointsmatt_da year ago