Vitalsource Technologies, Inc. Reliability And Risk Issues In Large Scale Safety-critical Digital Cont