RAT-based formal verification of QDI asynchronous controllers. - Khaled Alsayeg; Katell Morin-Allory; Laurent Fesquet (FDL, 2009)