Guaranteed error bounds on approximate model abstractions through reachability analysis