Industrial Applications of Formal Methods to Model Design and Analyze Computer Systems | DealShopping Deutschland