Updated documentation of SystemC model