Architecture-Based Synthesis of 1D-3D Models for Verification and Validation | IEEE Conference Publication | IEEE Xplore