Architecture-Based Testing and System Validation - Workshop Summary | IEEE Conference Publication | IEEE Xplore