J.-F. Hermant, J. Widder:
"Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study)";
Report for Research Report 23/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria (Joint research report with INRIA Rocquencourt, France); 2004.
http://www.vmars.tuwien.ac.at/php/pserver/docdetail.php?DID=1383&viewmode=paper&year=2004