Gerard J. Holzmann. Conquering Complexity. IEEE Computer, 40(12):111-113, 2007. [doi]
@article{Holzmann07:1, title = {Conquering Complexity}, author = {Gerard J. Holzmann}, year = {2007}, doi = {10.1109/MC.2007.419}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.2007.419}, researchr = {https://researchr.org/publication/Holzmann07%3A1}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {40}, number = {12}, pages = {111-113}, }