%O Report 
%F rr-nemo
%A Delaval, G.
%A Rutten, E.
%T A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis
%N 5690
%I INRIA
%U http://www.inria.fr/rrrt/rr-5690.html
%8 September
%D 2005