Reuse of components in formal modeling and verification of distributed control systems