Marcello M. Bersani, Marisol García-Valls. Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. Journal of Software Maintenance, 30(3), 2018. [doi]
@article{BersaniG18, title = {Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs}, author = {Marcello M. Bersani and Marisol García-Valls}, year = {2018}, doi = {10.1002/smr.1880}, url = {https://doi.org/10.1002/smr.1880}, researchr = {https://researchr.org/publication/BersaniG18}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {30}, number = {3}, }