Georg Rock, Werner Stephan, Andreas Wolpers: Modeling Dynamic Processes in TLA. FBT 1999: 185-192