Focuses on rigorous engineering approaches to building and evaluating dependable software applications.