@article{pinheiro_simão_ambrosio_2014,  title={FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study},  volume={6},  ISSN={2175-9146},  url={https://doi.org/10.5028/jatm.v6i4.369},  DOI={10.5028/jatm.v6i4.369},  number={4},  journal={Journal of Aerospace Technology and Management},  publisher={Departamento de Ciência e Tecnologia Aeroespacial},  author={Pinheiro, Arineiza C. and Simão, Adenilso and Ambrosio, Ana Maria},  year={2014},  month={Oct},  pages={447–461} }