MMC: the Mono Model Checker. - Theo C. Ruys; Niels H. M. Aan de Brugh (Bytecode@ETAPS, 2007)

MoonWalker: Verification of .NET Programs. - Niels H. M. Aan de Brugh; Viet Yen Nguyen; Theo C. Ruys (TACAS, 2009)