Small Spacecraft Software Modeling: A Petri Net-Based Approach. - Malott, Levi; Palangpour, Pasha; Pernicka, Henry; Chellappan, Sriram (J. Aerosp. Inf. Syst., 2014)