Ron van der Meyden Chenyi Zhang Information Flow in Systems with Schedulers. 301-312 2008 CSF http://doi.ieeecomputersociety.org/10.1109/CSF.2008.13 conf/csfw/2008 db/conf/csfw/csf2008.html#MeydenZ08