?url_ver=Z39.88-2004&rft_id=10.1109%2FQEST.2008.18&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Tribastone%2C+Mirco&rft.aulast=Tribastone&rft.aufirst=Mirco&rft.isbn=978-0-7695-3360-5+&rft.date=September+2008&rft.title=Automatic+translation+of+UML+sequence+diagrams+into+PEPA+models&rft.btitle=Proceedings+of+the+5th+International+Conference+on+Quantitative+Evaluation+of+Systems.+QEST+'08&rft.genre=bookitem