@unpublished{eprints2559,
            year = {2006},
           title = {The PEPA Plug-in project},
       booktitle = {6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA)},
          author = {Mirco Tribastone},
           month = {June},
             url = {http://eprints.imtlucca.it/2559/}
}