Hierarchical design rewriting with Maude