“Petri Nets Applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test”. Global Journals of Research in Engineering, vol. 11, no. 5, Oct. 2011, pp. 7-12, https://testing.engineeringresearch.org/index.php/GJRE/article/view/235.