Designing in Many-Valued Logic