Comments on "Formal methods application: an empirical tale of software development" | IEEE Journals & Magazine | IEEE Xplore