?url_ver=Z39.88-2004&rft_id=10.1109%2FITSIM.2010.5561643&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=R.&rft.au=Sammi%2C+R.&rft.aulast=Sammi&rft.date=2010&rft.title=Formal+specification+languages+for+real-time+systems&rft.isbn=9781424467181&rft.genre=proceeding