Symbolic Model Checking Visualization. - Gila Kamhi; Limor Fix; Ziv Binyamini (FMCAD, 1998)