Source: https://wiki.epfl.ch/houdre/documents/DispElec/chapitre 03 occupation.pdf