A layered approach for testing timing in the model-based implementation