application based c call code computer conference design developer development diagram draft embedded event file formal forum france graphical international language list message model msc new paper paris pragmadev product project real rtds science sdl sdl-rt serie software specification standard studio support system test thread time tool uml university use