import time


def gen_time_list(time_format, begin_utc_time, end_utc_time, time_increment):
    """
    Parameters
    ----------
    time_format : time format string used in strftime such as "%Y%m%d%H%M%S"
    begin_utc_time : utc time in seconds 
    end_utc_time : utc time in seconds 
    time_increment : time increment in seconds

    Returns
    -------
    list : list of file times in the form 20130907215000 yyyymmddhhmmss
    """
    
    time_list = []
    time_value = begin_utc_time
    while time_value <= end_utc_time:
        yyyymmddhhmmss = time.strftime(time_format, time.gmtime(time_value))
        time_list.append(yyyymmddhhmmss)
        time_value += time_increment
    return time_list