Real-time control system verification for ELT AO systems Alastair Basden 1, Richard Myers 1, Tim Morris 1, Ali Bharmal 1, Urban Bitenc 1, Nigel Dipper.