On the Transformation of SystemC to AsmL Using Abstract Interpretation