Doron Drusinsky, Man-tak Shing. Verification of Timing Properties in Rapid System Prototyping. In 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA. pages 47, IEEE Computer Society, 2003. [doi]
Abstract is missing.