?url_ver=Z39.88-2004&rft_id=10.1109%2FTSE.2011.81&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Mirco&rft.aulast=Tribastone&rft.au=Tribastone%2C+Mirco&rft.volume=38&rft.issue=4&rft.pages=861-874&rft.atitle=Fluid+rewards+for+a+stochastic+process+algebra&rft.title=IEEE+Transactions+on+Software+Engineering&rft.date=July+2012&rft.issn=0098-5589&rft.genre=article