@incollection{BDD+8,
title = {Specification-Based Monitoring of Cyber-Physical Systems: {A} Survey on Theory, Tools and Applications },
author = {Bartocci, Ezio and Deshmukh, Jyotirmoy V. and Donz\'e, Alexandre and Fainekos, Georgios E. and Maler, Oded and Nickovic, Dejan and Sankaranarayanan, Sriram},
year = {2018},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
pages = {135--175},
team = {TEMPO},
}
