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