Laurent Latreille
Joel Champeau
,
Philippe Dhaussy
,
Laurent Latreille
;
Mission control with the UML and SDL formalisms
, Proceedings of MTS/IEEE OCEANS'00 Conference, pp. 1639 - 1645,
September 2000.