Media type: E-Article Title: Frequently Unanswered Questions Contributor: Holzmann, Gerard J. imprint: Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Software Language: Not determined DOI: 10.1109/ms.2016.71 ISSN: 0740-7459; 1937-4194 Keywords: Software Origination: Footnote: