An FPGA Implementation of Explicit-State Model Checking. - Mary Ellen Fuess; Miriam Leeser; Tim Leonard (FCCM, 2008)