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