@inproceedings{Lamrani_2018,
    doi = {10.1109/icphys.2018.8387670},
    url = {https://doi.org/10.1109%2Ficphys.2018.8387670},
    year = {2018},
    month = {may},
    publisher = {{IEEE}},
    author = {Imane Lamrani and Ayan Banerjee and Sandeep K. S. Gupta},
    title = {{HyMn}: Mining linear hybrid automata from input output traces of cyber-physical systems},
    booktitle = {2018 {IEEE} Industrial Cyber-Physical Systems ({ICPS})}
}

@inproceedings{Lamrani_2018, doi = {10.1109/icphys.2018.8387670}, url = {https://doi.org/10.1109%2Ficphys.2018.8387670}, year = {2018}, month = {may}, publisher = {{IEEE}}, author = {Imane Lamrani and Ayan Banerjee and Sandeep K. S. Gupta}, title = {{HyMn}: Mining linear hybrid automata from input output traces of cyber-physical systems}, booktitle = {2018 {IEEE} Industrial Cyber-Physical Systems ({ICPS})} }