Composing abstractions of hybrid systems