Proceedings will be published in the International Journal of Design, Analysis and Tools for Integrated Circuits and Systems. The authors of the best paper will be invited to submit an extended version of their paper to SCI-E indexed journal Symmetry in Systems Design and Analysis.