.Modelica_Synchronous.WorkInProgress.Incubate.TrueTime.SchedulingPolicyEnum .Modelica_Synchronous.WorkInProgress.Incubate.TrueTime.SchedulingPolicyEnumEnumeration to define scheduling policies
type SchedulingPolicyEnum = enumeration(prioFP "Fixed-priority scheduling", prioRM "Rate-monotonic scheduling", prioDM "Deadline-monotonic scheduling", prioEDF "Earliest-deadline-first scheduling");