SystemC Kernel Extensions for Heterogeneous System Modeling - Patel, Hiren (Springer US, 2020)