@article{Kunz_2015,
    doi = {10.1007/s00521-015-2115-5},
    url = {https://doi.org/10.1007%2Fs00521-015-2115-5},
    year = {2015},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {28},
    number = {5},
    pages = {1031--1041},
    author = {Guilherme Kunz and Jos{\'{e}} Machado and Eduardo Perondi},
    title = {Using timed automata for modeling, simulating and verifying networked systems controller's specifications},
    journal = {Neural Computing and Applications}
}

@article{Kunz_2015, doi = {10.1007/s00521-015-2115-5}, url = {https://doi.org/10.1007%2Fs00521-015-2115-5}, year = {2015}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {28}, number = {5}, pages = {1031--1041}, author = {Guilherme Kunz and Jos{\'{e}} Machado and Eduardo Perondi}, title = {Using timed automata for modeling, simulating and verifying networked systems controller's specifications}, journal = {Neural Computing and Applications} }