Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems | Publicación