Handling sporadic tasks in off-line scheduled distributed real-time systems