An Isomorphic Mapping for SpecC In UML. - Jorge L. Díaz-Herrera; Hanmei Chen; Rukshana Alam (OMER, 2001)