Systematic software testing using VeriSoft — An analysis of the 4ESS™ heart-beat monitor | Nokia Bell Labs Journals & Magazine | IEEE Xplore