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