Using RapiTime (part of Rapita Verification Suite) to optimize code facilitated a difference in WCET between the initial versions and optimized functions of up to 43.9%.
