Akintunde, M., et al.. Verifiably Safe and Trusted Human-ai Systems: A Socio-technical Perspective. ACM, 2023, doi:10.1145/3597512.3599719.