UML-based reconfigurable middleware for design-level timing verification in model-based approach | IEEE Conference Publication | IEEE Xplore