K. Kapp and V. Sabelfeld
Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis
In:  D. Stoffel, W. Kunz (Eds.) GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2004, pp. 204-213, Shaker Verlag, Aachen.

V. Sabelfeld and K. Kapp
Numeric Types in Formal Synthesis
In: Manfred Broy, Alexandre Zamulin (Eds.) Perspectives of System Informatics, 5th International Andrei Ershov Memorial Conference , July 9-12, 2003, Novosibirsk, Russia, LNCS 2890, 2003, pp. 79-90, Springer-Verlag.

V. Sabelfeld and K. Kapp
Arithmetics in Formal Synthesis 
In:  R. Drechsler (Ed.) GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Shaker Verlag, Aachen 2003, pp. 112 - 120.


K. Kapp and V. Sabelfeld
Dead Code Elimination in Formal Synthesis 
In:  R. Drechsler (Ed.) GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Shaker Verlag, Aachen 2003 , pp. 121-130.


V. Sabelfeld, C. Blumenröhr and K. Kapp
Semantics and Transformations in Formal Synthesis at System Level
In:  Dines Bjorner, Manfred Broy, Alexandre Zamulin (Eds.) Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference , July 2-6, 2001, Novosibirsk, Russia, LNCS 2244, 2001, pp. 149-156, Springer-Verlag.