@article{OGO+05,
title = { Un profile {UML} et un outil pour la mod\'elisation et la validation de syst\`emes temps-r\'eel },
author = {Ober, Iulian and Graf, Susanne and Ober, Ileana and Lesens, David},
month = {may},
year = {2005},
journal = {Num\'ero sp\'ecial du journal G\'enie Logiciel consacr\'e \`a la Journ\'ee NEPTUNE 05 : Ing\'enierie des Mod\`eles - v\'erification de mod\`eles},
pages = {33-38},
volume = {73},
team = {DCS},
}
