An accurate system architecture refinement methodology with mixed abstraction-level virtual platform | IEEE Conference Publication | IEEE Xplore