?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Le%2C+Hong+Anh&rft.aulast=Le&rft.aufirst=Hong+Anh&rft.issue=1000&rft.volume=5&rft.date=7+July+2016&rft.atitle=Formal+analysis+of+imprecise+system+requirements+with+Event%E2%80%91B&rft.title=SpringerPlus&rft.genre=article