@article{Fan_2017,
    doi = {10.1145/3126685},
    url = {https://doi.org/10.1145%2F3126685},
    year = {2017},
    month = {dec},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {17},
    number = {1},
    pages = {1--28},
    author = {Chuchu Fan and James Kapinski and Xiaoqing Jin and Sayan Mitra},
    title = {Simulation-Driven Reachability Using Matrix Measures},
    journal = {{ACM} Transactions on Embedded Computing Systems}
}

@article{Fan_2017, doi = {10.1145/3126685}, url = {https://doi.org/10.1145%2F3126685}, year = {2017}, month = {dec}, publisher = {Association for Computing Machinery ({ACM})}, volume = {17}, number = {1}, pages = {1--28}, author = {Chuchu Fan and James Kapinski and Xiaoqing Jin and Sayan Mitra}, title = {Simulation-Driven Reachability Using Matrix Measures}, journal = {{ACM} Transactions on Embedded Computing Systems} }