M. Saksena, O. Wibling, and B. Jonsson. Proceedings of the Theory and practice of software, 14th international
conference on Tools and algorithms for the construction and analysis
of systems, page 18--32. Berlin, Heidelberg, Springer-Verlag, (2008)
B. Jonsson. PODC '85: Proceedings of the fourth annual ACM symposium on Principles of distributed computing, page 49--58. New York, NY, USA, ACM, (1985)