Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. - Samar Dajani-Brown; Darren D. Cofer; Gary Hartmann; Steve Pratt (SPIN, 2003)

Formal Verification of an Avionics Sensor Voter Using SCADE. - Samar Dajani-Brown; Darren D. Cofer; Amar Bouali (FORMATS/FTRTFT, 2004)

Analysis of Distributed Spin Applied to Industrial-Scale Models. - Murali Rangarajan; Samar Dajani-Brown; Kirk Schloegel; Darren D. Cofer (SPIN, 2004)

Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. - Brendan Hall; Kevin Driscoll 001; Michael Paulitsch; Samar Dajani-Brown (DSN, 2005)

Formal Modeling and Analysis of the AFDX Frame Management Design. - Madhukar Anand; Steve Vestal; Samar Dajani-Brown; Insup Lee 001 (ISORC, 2006)