CASE current_state IS WHEN idle => IF (s(i).state /=idle) THEN current_driver := i; current_state : = s(i).state; END IF;
Copyright Honeywell, Inc. Reprinted with permission.