Source: http://essay.utwente.nl/77713/1/Mendler_BA_EEMCS.pdf