On reliability modeling and analysis of highly-reliable large systems | IEEE Conference Publication | IEEE Xplore