Hossein Hojjat Mohammad Reza Mousavi Marjan Sirjani Process algebraic verification of SystemC codes. 62-67 2008 ACSD http://dx.doi.org/10.1109/ACSD.2008.4574597 conf/acsd/2008 db/conf/acsd/acsd2008.html#HojjatMS08