Transcript Real-time control system verification for ELT AO systems