Modeling and Verifying Imprecise Requirements of Systems Using Event-B. - Hong Anh Le; Loan Dinh Thi; Ninh-Thuan Truong (KSE (1), 2013)