@article{backes07reactive,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {The Reactive Simulatability Framework for Asynchronous Systems},
  journal      = {Information and Computation},
  year         = {2007},
  note         = {Preprint on IACR ePrint 2004/082}
}