Source: https://wettel.github.io/download/Wettel08a-icse-tooldemo.pdf