Hansel D, Cleaveland R, Smolka SA.  2004.  Distributed prototyping from validated specifications. Journal of Systems and Software. 70(3):275-298.