David Hansel, Rance Cleaveland, Scott A. Smolka. Distributed Prototyping from Validated Specifications. In 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA. pages 97-102, IEEE Computer Society, 2001. [doi]