1. Absint: aiT worst-case execution time analyzers (2020). http://www.absint.de/ait
2. AbsInt Angewandte Informatik GmbH: Stack overflow is a thing of the past (2016). https://www.absint.com/stackanalyzer/index.htm
3. Anonymous: Introduction to lp_solve 5.5.2.5 (2020). http://lpsolve.sourceforge.net
4. ARM Ltd.: #pragma arm section [section_type_list] (2019). http://www.keil.com/support/man/docs/armcc/armcc_chr1359124985290.htm
5. Azevedo, A., Issenin, I., Cornea, R., Gupta, R., Dutt, N., Veidenbaum, A., Nicolau, A.: Profile-based dynamic voltage scheduling using program checkpoints. In: Proceedings of Design, Automation and Test in Europe (DATE), pp. 168–175 (2002)