← F L OGIC S YSTEMS FOR E NGINEERING A T UTORIAL