@InProceedings{Eekelen:2006TPSL, author = "Marko van Eekelen and Stefan ten Hoedt and Ren\'e Schreurs, Yaroslav S. Usenko", title = "Testen van proces-communicatie en synchronisatie van LoadBalancer software via model-checking", booktitle = "Proceedings van de 12e Nederlandse Testdag", address = "Veldhoven", publisher = "ASML", year = "2006", pages = "23--25" }