A panacea or academic poppycock: formal methods revisited | IEEE Conference Publication | IEEE Xplore