Honeywell PML
Busy State

WHEN busy =>
  CASE s(i).state IS
    WHEN idle =>
    WHEN request =>
    WHEN ack =>
    WHEN busy =>
      IF (s(current_driver) <s(i)) THEN
        current_driver := i;
      END IF;
  END CASE;
..
RETURN s(current_driver);