Prioritization using Logic Models and MIRA