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

Tadeus Prastowo, Luigi Palopoli, Luca Abeni, Giuseppe Lipari

Browse the full SAC paper archive.