Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh. Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. In Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), Ann Arbor, MI, USA, June 17-18, 1996. pages 18-23, IEEE, 1996. [doi]
Abstract is missing.