Dependable computing in virtual laboratories | IEEE Conference Publication | IEEE Xplore