On the shadow CPU approximation for modelling priority scheduling in computer systems | lit.salon