Text this: Distributed embedded control systems design with verification support