Towards a discipline of system engineering: validation of dependable systems architectures | IEEE Conference Publication | IEEE Xplore