Multi-level verification of microprocessor-based systems. - Jeffrey John Joyce (1989)