RT DW A1 Hsieh, Chiao. T1 Abstractions for Safety Assurance of Autonomous Systems