Complementarity of Error Detection Techniques. - Radek Pelánek; Václav Rosecký; Pavel Moravec 002 (PDMC@ETAPS, 2008)

EMMA: Explicit Model Checking Manager (Tool Presentation). - Radek Pelánek; Václav Rosecký (SPIN, 2009)