P. Suter, A. Köksal, and V. Kuncak. Proceedings of the 18th international conference on Static analysis, page 298--315. Berlin, Heidelberg, Springer-Verlag, (2011)
M. Kühnrich, and U. Nestmann. Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, page 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)
R. Kurshan, and K. McMillan. PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, page 239--247. New York, NY, USA, ACM, (1989)