A component framework for system modeling based on high-level replacement systems | Publicación