Automatic Assessment of SystemC Models - Michalko, Matej (STU v Bratislave FIIT, 2017)