?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Le%2C+Hong+Anh&rft.aulast=Le&rft.aufirst=Hong+Anh&rft.date=April+2014&rft.title=Formal+Modeling+and+Verification+of+Context-Aware+Systems+using+Event-B&rft.genre=proceeding