Sayak Ray Scalable Model Checking Beyond Safety - A Communication Fabric Perspective. University of California, Berkeley, USA 2013 https://www.escholarship.org/uc/item/8dk5b1qz