OTAWA/Patmos WCET tool in integrated working repository