The Specification Language SpecC within the PARADISE Design Environment

A. Rettberg, F. Rammig, A. Gerstlauer, D. D. Gajski, W. Hardt, and B. Kleinjohann, “The Specification Language SpecC within the PARADISE Design Environment,” Architecture and Design of Distributed Embedded Systems, edited by B. Kleinjohann, Kluwer Academic Publishers, April 2001.