Top-level modeling theory of multi-discipline virtual prototype | BIAI Journals & Magazine | IEEE Xplore