Bivalrudin use in off-pump myocardial revascularization in patients with heparin-induced thrombocytopenia