An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement | IEEE Journals & Magazine | IEEE Xplore