Source: http://www.padsweb.rwth-aachen.de/wvdaalst/publications/p161.pdf