Formal Methods Group ETH Zürich. - Armin Biere; Cyrille Artho; Malek Haroud; Viktor Schuppan (FMICS, 2003)

SDL Versus C Equivalence Checking. - Malek Haroud; Armin Biere (SDL Forum, 2005)

Equivalence checking for asynchronous software. - Malek Haroud (2005)