HIGH INTEGRITY AUTONOMOUS SYSTEMS