Wei-Ming Hu: Lattice scheduling and covert channels. S&P 1992: 52-61