selected publications conference paper Just-in-Time Verification in ADL-based processor design. . 2012