@article{pena_cunha_cury_lafortune_2010,  title={Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos},  volume={21},  ISSN={0103-1759},  url={https://doi.org/10.1590/S0103-17592010000100005},  DOI={10.1590/S0103-17592010000100005},  number={1},  journal={Sba: Controle & Automação Sociedade Brasileira de Automatica},  publisher={Sociedade Brasileira de Automática},  author={Pena, Patrícia N. and Cunha, Antonio E.C. and Cury, José E. R. and Lafortune, Stéphane},  year={2010},  month={Jan},  pages={58–68} }