An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. - Jason Baumgartner; Anson Tripp; Adnan Aziz; Vigyan Singhal; Flemming Andersen (CAV, 2000)