An Analytic Evaluation of SystemC Encodings in Promela