C. Borchert, and O. Spinczyk. Proceedings of the 8th Workshop on Programming Languages and Operating Systems, page 1-7. Monterey, California, ACM, (2015)
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)
S. Owre, J. Rushby, N. Shankar, and F. von Henke. volume 670 of Lecture Notes in Computer Science, page 482--500. Odense, Denmark, Springer-Verlag, (April 1993)