Satisfiability verification of engineering data safety rules of balise based on ROBDD | IEEE Conference Publication | IEEE Xplore