Source: https://www.emis.de/proceedings/PME29/PME29RRPapers/PME29Vol4ThomasHong.pdf