Using LTTng for runtime monitoring of models of real-time embedded systems