ccLAB: A Tool for Remote Verification of FPGA-based Circuits | Publicación