TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems