A mathematical model for the dynamic of cytotoxic T cells