@inproceedings{acsd08,
  author = {J. Markovski and  Vink, E.P. de},
  title = {Discrete Real-Time Process Algebra and Stochastic Time
    Process Algebra for Performance Analysis of Distributed Systems},
  booktitle = {Proc.\ ACSD 2008},
  editor = {J. Billington and {Zhenhua~Duan} and M. Koutny},
  publisher = {IEEE},
  pages = {180--189},
  year = {2008}
}