Credits

Development Lead

• Lyle Barner: lyle.barner@jpl.nasa.gov

Contributors

• Aaron Black: aaron.black@jpl.nasa.gov
• Elizabeth Crisologo: elizabeth.p.crisologo@jpl.nasa.gov
• Michael Sanchez: michaelds@berkeley.edu

Legacy Developers

• Gerard Holzmann (Creator): gerard.holzmann@gmail.com