Parametric Algorithm for Searching the Minimum Lower Unity of Monotone Boolean Functions in the Process Synthesis of Control Automates | IEEE Conference Publication | IEEE Xplore