The genesis and development of model checking: fact vs. fiction | IEEE Conference Publication | IEEE Xplore