add worstcase_processing_time to increase buffersizes