David Hansel Rance Cleaveland Scott A. Smolka Distributed Prototyping from Validated Specifications. 97-102 2001 conf/rsp/2001 IEEE International Workshop on Rapid System Prototyping http://csdl.computer.org/comp/proceedings/rsp/2001/1206/00/12060097abs.htm db/conf/rsp/rsp2001.html#HanselCS01