Correctness by Construction with Logic-Labeled Finite-State Machines -- Comparison with Event-B | IEEE Conference Publication | IEEE Xplore