Jon Pérez 0001, Jose Luis Flores, Christian Blum 0001, Jesús Cerquides, Alex Abuin. Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems. IEEE Trans. Industrial Informatics, 18(1):620-630, 2022. [doi]
Abstract is missing.