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
Distributed reconfiguration strategies for fault-tolerant multiprocessor systemsEdmund M. ClarkeChristos N. Nikolaou1982IEEE TC