Simulink based behavioural modelling of a pulse oximeter for deployment in rapid development, prototyping and verification | IEEE Conference Publication | IEEE Xplore