Distributed prototyping from validated specifications