Carsten Rust, Friedhelm Stappert, Peter Altenbernd, Jürgen Tacken. From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 686-691, IEEE Computer Society, 2000. [doi]
Abstract is missing.