A Behavior-Centric Programming Framework for Drone Systems with Digital Twin Backends. - Ryota Uesugi; Nobuhiko Ogura; Kenji Hisazumi; Harumi Watanabe (Programming, 2026)