Software Engineering for Real-Time High Reliability Applications. - Ali Behforooz; Frederick Hudson (ECBS, 1999)