B Model Animation for External Verification. - Hélène Waeselynck; Salimeh Behnia (ICFEM, 1998)

Test Criteria Definition for B Models. - Salimeh Behnia; Hélène Waeselynck (World Congress on Formal Methods, 1999)