Mission_Time_LTL.MLTL_Encoding