New strategies, algorithms and tools for systematic and accurate design, prototyping and control of complex distributed systems