"Complex computer systems are computer applications or environments for which simpli- fying assumptions for design and implementation fail significantly. They are typically characterized by intricacies in hardware platform, interaction of software modules, use of shared resources, interaction with the external world, or criteria for correctness and improved performance. There are real-time, fau…