This text from section 3.4 should be moved or removed and described in this section:
Another obstacle to overcome is that of parameters used in real world applications. Think,
for example, about increasing sequence numbers in communication protocols. This is still a huge
challenge to resolve [37] and for now, besides the creation of prototypical solutions [4, 35, 16],
application-specific solutions have to be applied [37].
Create new section 3.5, about: Reactive systems Mapping alphabet Mapping Register automata
This text from section 3.4 should be moved or removed and described in this section:
@Gerlof: add this somewhere. Restart SUL Reference TTT