@article{basilio_carvalho_moreira_2010,  title={Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos},  volume={21},  ISSN={0103-1759},  url={https://doi.org/10.1590/S0103-17592010000500006},  DOI={10.1590/S0103-17592010000500006},  number={5},  journal={Sba: Controle & Automação Sociedade Brasileira de Automatica},  publisher={Sociedade Brasileira de Automática},  author={Basilio, João Carlos and Carvalho, Lilian Kawakami and Moreira, Marcos Vicente},  year={2010},  month={Sep},  pages={510–533} }