Create atp.mcrl2