Sofiène Tahar Xiaoyu Song Eduard Cerny Zijian Zhou Michel Langevin Otmane Aït Mohamed Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. 956-972 1999 18 IEEE Trans. on CAD of Integrated Circuits and Systems 7 http://doi.ieeecomputersociety.org/10.1109/43.771178 db/journals/tcad/tcad18.html#TaharSCZLM99