System specification experiments on a common benchmark

To contribute to the current effort toward the definition of a system-level design language, this article proposes a benchmark for system specification. The authors analyze the results of experiments using the benchmark with several languages.