For an academic reference, they should have quoted "Code Inflation" (Holzmann, 2015). https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7057573 https://

For an academic reference, they should have quoted "Code Inflation" (Holzmann, 2015). https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7057573 https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=705...