Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. - Kylie Williams; Robert Esser (ACSC, 2004)

The HiVe Writer. - Tony Cant; Ben Long; Jim McCarthy; Brendan P. Mahony; Kylie Williams (SSV, 2008)