In my opinion the best option would be to implement possibility of saving the game manually at any time without quitting it with possibility to load save slot at will. Plus autosaves at checkpoints. And restart option could stay if it were to restart current mission instead of the whole game from the beggining. But what you said works too