Hierarchical hybrid modeling of embedded systems