tokens: To meet models@run.time requirements , we use the Kevoree Modeling Framework ( KMF ) DBLP : conf / models / FouquetNMDBPJ12 , DBLP : journals / corr / FrancoisNMDBPJ14 , which has been specifically designed for this purpose .