Le, Hong Anh and Truong, Ninh Thuan and Nakajima, Shin  (2015) Verifying eventuality properties of imprecise system requirements using event-B.  In: SAC 2015, 2015.