R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. - Fabian Kratz; Oleg Sokolsky; George J. Pappas; Insup Lee 001 (HSCC, 2006)