Le, Hong Anh and Shin, Nakajima and Truong, Ninh Thuan  (2016) Formal analysis of imprecise system requirements with Event‑B.  SpringerPlus, 5  (1000).