(* This chapter is a reworked version of a paper presented at microCAD International Scientific Conference 2007, Miskolc, Hungary.)