GlucOS: Security, correctness, and simplicity for automated insulin delivery. - Hari Venugopalan; Shreyas Madhav Ambattur Vijayanand; Caleb Stanford; Stephanie Crossen; Samuel T. King (CoRR, 2024)