Type-safe concurrent resource sharing. - Lea Wittie; Jonathan Lockhart (Concurr. Comput. Pract. Exp., 2011)

Formal methods for safety critical system specification. - Jonathan Lockhart; Carla Purdy; Philip A. Wilsey (MWSCAS, 2014)

Error analysis and reliability metrics for software in safety critical systems. - Jonathan Lockhart; Carla Purdy; Philip A. Wilsey (MWSCAS, 2016)