schedulable states elaboration