module LctRTM() { process = { requires time wcet; } ordering_criteria = { lowest wcet } }