Herrera, Villar, 2006. A framework for embedded system specification under different models of computation in SystemC, in: . ACM Press.. https://doi.org/10.1145/1146909.1147140