?url_ver=Z39.88-2004&rft_id=10.1145%2F1383559.1383569&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Mirco&rft.aulast=Tribastone&rft.au=Tribastone%2C+Mirco&rft.date=2008&rft.btitle=Proceedings+of+the+7th+international+workshop+on+Software+and+performance+-+WOSP+'08&rft.title=Automatic+extraction+of+PEPA+performance+models+from+UML+activity+diagrams+annotated+with+the+MARTE+profile&rft.isbn=978-1-59593-873-2&rft.genre=bookitem