Connect with CBMC