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)