Roy Emek, Yehuda Naveh. Scheduling of transactions for system-level test-case generation. In Eighth IEEE International High-Level Design Validation and Test Workshop 2003, San Francisco, CA, USA, November 12-14, 2003. pages 149-154, IEEE Computer Society, 2003. [doi]
Abstract is missing.