Analyses of a Model-Based Real-Time Language Embedded in C++