Michael Paulitsch Jennifer Morris Brendan Hall Kevin Driscoll Elizabeth Latronico Philip Koopman Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. 346-355 2005 conf/dsn/2005 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2005.31 db/conf/dsn/dsn2005.html#PaulitschMHDLK05