Interlanguage communication synthesis for heterogeneous specificationsFabiano HesselPascal Costeet al.2000Des Autom Embedded Syst