Kratos - A Software Model Checker for SystemC