L. Reder

A Lunar Surface Operations Simulator

Abhinandan Jain, Jonathan Cameron, J. Balaram, 2008, SIMPAR.

The Dusty AGB Star RS CrB: First Mid-Infrared Interferometric Observations with the Keck Telescopes

P. Wizinowich, E. Serabyn, M. Shao, 2005, astro-ph/0511425.

Engineering Resilient Space Systems

Richard M. Murray, Richard M. Murray, Brian C. Williams, 2015 .

Engineering Resilient Space Systems: Introduction to Short Course

Richard M. Murray, Brian C. Williams, John Day, 2012 .

F Prime: An Open-Source Framework for Small-Scale Flight Software Systems

Garth Watney, Robert Bocchino, Timothy K. Canham, 2018 .

Interfacing TuLiP with the JPL statechart autocoder: Initial progress toward synthesis of flight software from formal specifications

Richard M. Murray, Leonard J. Reder, Sumanth Dathathri, 2016, 2016 IEEE Aerospace Conference.