The idea of architectural and behavioral patterns originating from OO design community is applied to control systems design modeling and verification. A template for specifying modeling patterns is defined and, as an example, the Control Component Pattern (CCP) is proposed. The benefits from parameterization and abstraction encoded into the pattern are shown, allowing to increase the size of models and verification tasks that still remain efficiently decidable by model checking. The interchange between CCP and a certain subset of Simulink models allows to apply model checking in parallel to quantitative simulation techniques. A sketch of the application of CCP for a simple temperature control system design modeling and verification is presented.