Monitoring of pulmonary embolism using electrical impedance tomography: A case study