Translation of Heterogeneous High-level Models to Lower Level Design Languages. - Brian Aliston Jackson (2005)