Logical synthesis of the control algorithm in a system with Boolean variables
scientific article; zbMATH DE number 6356749