On the use of don't cares during symbolic reachability analysis. - Sherief Reda; Ayman Wahba; Ashraf Salem; Dominique Borrione; M. Ghonaimy (ISCAS (5), 2001)