Sethavidh Gertphol Viktor K. Prasanna MIP formulation for robust resource allocation in dynamic real-time systems. 55-65 2005 77 Journal of Systems and Software 1 http://dx.doi.org/10.1016/j.jss.2003.12.040 db/journals/jss/jss77.html#GertpholP05