Types as models: Model checking message-passing programs. Pages 45–57 of (2002)

by Sagar Chaki, Sriram Rajamani, Jakob Rehof
Venue:Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM