Abstractions for safety assurance of autonomous systems