Efficient BMC for Multi-Clock Systems with Clocked Specifications | IEEE Conference Publication | IEEE Xplore