Didier Buchs Mathieu Buffo Rapid Prototyping of Formally Modelled Distributed Systems. 4-9 1999 IEEE International Workshop on Rapid System Prototyping http://computer.org/proceedings/rsp/0246/02460004abs.htm db/conf/rsp/rsp1999.html#BuchsB99