A Time Refinement Framework Based on iUML-B State Machine. - Han Peng; Xiaoli Zhang; Guozhen Cao; Zhouzhou Liu; Yuejuan Jing; Lei Rao (Sci. Program., 2021)