Assertion list
real time operating system (subgroup of operating system ) → CapableOf
Results from Ascent++: 3
real time operating system → CapableOf → defined fixed time constraints 0.25
real time operating system → CapableOf → guarantee to process datum 0.25
real time operating system → CapableOf → guarantee to process event 0.25