As part of the Darpa MOBIES program, we are developing an integrated approach to the construction of low-cost, high-assurance embedded systems that supports their systematic formal development, starting from requirements specified in a variety of model-based frameworks, down to highly reliable and fault-tolerant time-triggered implementations.
If you need a postscript viewer, follow the first link under the rule at bottom