Please confer the Master thesis Section 3.14 for more information on the AIS140 implementation