US7260798B2 - Compilation of Remote Procedure Calls Between a Timed HDL Model on a Reconfigurable Hardware Platform and an Untimed Model on a Sequential Computing Platform