Model-Based Verification of a Non-Linear Separation Scheme for Ballistocardiography | IEEE Journals & Magazine | IEEE Xplore