Comment by rmind

For an academic reference, they should have quoted "Code Inflation" (Holzmann, 2015).

https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=705...