Gerard J. Holzmann. Points of Truth. IEEE Software, 32(4):18-21, 2015. [doi]
@article{Holzmann15c, title = {Points of Truth}, author = {Gerard J. Holzmann}, year = {2015}, doi = {10.1109/MS.2015.103}, url = {http://dx.doi.org/10.1109/MS.2015.103}, researchr = {https://researchr.org/publication/Holzmann15c}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {32}, number = {4}, pages = {18-21}, }