On distributed logic simulation using time warp - Bauer, Herbert; Sporrer, Christian; Krodel, Thomas (1992)