convert to LNCS format
for FMICS