Vladimir Estivill-Castro, René Hexel. Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. In 23rd Australian Software Engineering Conference, ASWEC 2014, Milsons Point, Sydney, NSW, Australia, April 7-10, 2014. pages 38-47, IEEE, 2014. [doi]
Abstract is missing.