Zaslat SMS: Logical design of switching circuits.