System-Level Testability of Hardware/Software Systems. - Harald P. E. Vranken; M. P. J. Stevens; M. T. M. Segers; J. H. M. M. van Rhee (ITC, 1994)