real_time_systems 1 Real Time Analysis for Production Lines (Determining worker occupation time) Nov 5, 2024