Formal co-validation of low-level hardware/software interfaces. - Horn, Alex; Tautschnig, Michael; Val, Celina G.; Liang, Lihao; Melham, Tom; Grundy, Jim; Kroening, Daniel (2013)