Roumen Kaiabachev Walid Taha Angela Zhu E-FRP with priorities. 221-230 2007 EMSOFT http://doi.acm.org/10.1145/1289927.1289963 conf/emsoft/2007 db/conf/emsoft/emsoft2007.html#KaiabachevTZ07