Describir: Automatic Assessment of SystemC Models /