The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISS, Nagoya, Japan, 2002.
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621