Maarten Wiggers Marco Bekooij Gerard J. M. Smit Monotonicity and run-time scheduling. 177-186 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629359 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#WiggersBS09