Mathematical model of venous occlusion plethysmography for diagnosing deep vein thrombosis | IEEE Conference Publication | IEEE Xplore