Analyses of a model-based real-time language embedded in C++