Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications