Towards a unified graph-based framework for dynamic component-based architectures description in Z | IEEE Conference Publication | IEEE Xplore