Real-time control system verification for ELT AO systems Alastair Basden1, Richard Myers1, Tim Morris1, Ali Bharmal1, Urban Bitenc1, Nigel Dipper1, Andrew Reeves1, Eric Gendron2,…