C++ hard-real-time active library: Syntax, semantics, and compilation of tice programs