Contract Specification for Hardware Interoperability Testing and Fault Analysis | IEEE Journals & Magazine | IEEE Xplore