Sağlamdemir, O., Şen, A., Dündar, G., “A formal equivalence checking methodology for simulink and register transfer level designs”, International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), İspanya, 2012.