MAPP Formal 2010 - OMA