Towards rewriting-based formal model for component-based systems verification | IEEE Conference Publication | IEEE Xplore