RAPID EMBEDDED SYSTEM TESTING USING VERIFICATION PATTERNS. - TSAI, WEI-TEK