Text this: Next generation design and verification methodologies for distributed embedded control systems :