KisTA infrastructure for SystemC-based Time Analysis of predictable systems