Example 7.
Formal Design of “Party Rock Anthem” by LMFAO (2011)