Socially-Critical Software Systems: Is Extended Regulation Required? - Niall Dagg; Conor Kostick; James Fallon; Alex O'Neill; Murat Yilmaz 001; Richard Messnarz; Paul M. Clarke (EuroSPI, 2022)