Figure 7: A modified version (modifications highlighted) of the Navigate along Route use case specification.