R- Charon : A modeling language for reconfigurable hybrid systems