Compiling Graphical Real-Time Specifications into Silicon. - Martin Fränzle; Karsten Lüth (FTRTFT, 1998)

The ICOS Synthesis Environment. - Karsten Lüth (FTRTFT, 1998)

HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams. - Karsten Lüth; Jürgen Niehaus; Thomas Peikenkamp (International Workshop on Rapid System Prototyping, 1998)

Visual temporal logic as a rapid prototyping tool. - Martin Fränzle; Karsten Lüth (Comput. Lang., 2001)