The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISS, Nagoya, Japan, 2002.

Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.