We have developed a new, testbed-based approach to the analysis, design, and implementation of dependable and cost-effective software mission-critical management and control systems.  These systems typically involve both computational and non-computational hardware, often are distributed geographically, and have to process large amounts of streaming data in a fixed time. Contact:  Vadim Kotov; Vadim.Kotov@west.cmu.edu