A man shot dead by police at Milton Keynes railway station this week has been named by the UK police watchdog as 38-year-old Irish man David Joyce.

Last week, the Irish government signed a Memorandum of Understanding with the inquiry investigating the blast.