The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (FTCS, 1991)

Analysis of Timeliness Requirements in Safety-Critical Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (FTRTFT, 1992)

On Foraml Support for Industrial-Scale Requirements Analysis. - Tom Anderson 001; Rogério de Lemos; John S. Fitzgerald; Amer Saeed (Hybrid Systems, 1992)

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (Comput. J., 1992)

Robust Requirements Specifications for Safety - Critical Systems. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (SAFECOMP, 1993)

Safety Analysis for Requirements Specifications: Methods and Techniques. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (SAFECOMP, 1995)

Analyzing Safety Requirements for Process-Control Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (IEEE Softw., 1995)

Protective Wrapper Development: A Case Study. - Tom Anderson 001; Mei Feng; Steve Riddle; Alexander B. Romanovsky (ICCBSS, 2003)

Wrapping the future. - Tom Anderson 001; Brian Randell; Alexander B. Romanovsky (IFIP Congress Topical Sessions, 2004)

Error Recovery for a Boiler System with OTS PID Controller. - Tom Anderson 001; Mei Feng; Steve Riddle; Alexander B. Romanovsky (WORDS, 2005)