Safety, Ethics, and Verification of AI in Engineering Systems