Michael Backes Birgit Pfitzmann Michael Waidner The reactive simulatability (RSIM) framework for asynchronous systems. 1685-1720 2007 205 Inf. Comput. 12 http://dx.doi.org/10.1016/j.ic.2007.05.002 db/journals/iandc/iandc205.html#BackesPW07