Zaslať SMS: Automatic Assessment of SystemC Models /