Formalization and Model Checking of Software Architectural Style | DealShopping Deutschland