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)
M. van Kempen, M. Chaudron, D. Kourie, and A. Boake. SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, page 252--259. , Republic of South Africa, South African Institute for Computer Scientists and Information Technologists, (2005)