Amir A. Khwaja, Joseph E. Urban. RealSpec: An Executable Specification Language for Prototyping Concurrent Systems. In The 19th IEEE/IFIP International Symposium on Rapid System Prototyping:RSP 2009, Shortening the Path from Specification to Prototype, 2-5 June 2008, Monterey, California, USA. pages 3-9, IEEE Computer Society, 2008. [doi]
Abstract is missing.