Source: https://www.tu-chemnitz.de/informatik/KI/edu/prosem/ss2019/presentation.pdf