David Hansel Rance Cleaveland Scott A. Smolka Distributed prototyping from validated specifications. 275-298 2004 70 Journal of Systems and Software 3 http://dx.doi.org/10.1016/S0164-1212(03)00074-8 db/journals/jss/jss70.html#HanselCS04