Formal Semantic of Component-Based Reconfiguration Router Unit's Software Model | IEEE Conference Publication | IEEE Xplore