Αποστολή με SMS: Complete Symbolic Simulation of SystemC Models