Ingo Sander, Axel Jantsch. Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 318-323, IEEE Computer Society, 1999.