Formal heterogeneous system modeling with SystemC. - Seyed-Hosein Attarzadeh-Niaki; Mikkel Koefoed Jakobsen; Tero Sulonen; Ingo Sander (FDL, 2012)