Analytic Queueing Models for Programs with Internal ConcurrencyPhilip HeidelbergerKishor S. Trivedi1983IEEE TC
Exhaustive Generation of Bit Patterns with Applications to VLSI Self-TestingZeev BarzilaiDon Coppersmithet al.1983IEEE TC