Using Concurrent and Semi-Concurrent On-Line Testing During HLS: An Adaptable Approach. - Mohammad A. Naal; M. Rakotoar; Emmanuel Simeu; Chouki Aktouf (IOLTW, 2002)