On distributed logic simulation using Time Warp - Bauer, Herbert; Sporrer, Christian; Krodel, Thomas (Technische Universität <München>: TUM, 1992)