A process for developing safe software. - Lynn Elliott; Ramin Mojdehbakhsh; Wei-Tek Tsai (CBMS, 1994)

A process for software requirements safety analysis. - Ramin Mojdehbakhsh; Satish Subramanian; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Lynn Elliott (ISSRE, 1994)

Retrofitting Software Safety in an Implantable Medical Device. - Ramin Mojdehbakhsh; Wei-Tek Tsai; Shekhar H. Kirani; Lynn Elliott (IEEE Softw., 1994)

A Framework for Designing Safe Software Systems. - Satish Subramanian; Ramakrishna V. Vishnuvajjala; Ramin Mojdehbakhsh; Wei-Tek Tsai; Lynn Elliott (COMPSAC, 1995)

Dependability of Medical Computing. - Hirokazu Ihara; Ekkehard Blanz; Daniel J. Valentino; Lynn Elliott; Thomas L. Lincoln (FTCS, 1995)

Fault mitigation in safety-critical software systems. - Satish Subramanian; Lynn Elliott; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Ramin Mojdehbakhsh (CBMS, 1996)

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. - Ramakrishna V. Vishnuvajjala; Satish Subramanian; Wei-Tek Tsai; Lynn Elliott; Ramin Mojdehbakhsh (CBMS, 1996)

Flow analysis for concurrent, reactive, real-time systems. - Ramakrishna V. Vishnuvajjala; Satish Subramanian; Wei-Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott (HASE, 1996)

Specifying timing constraints in real-time object-oriented systems. - Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott (HASE, 1996)