@article(AnconaFFM21,
 author       = {Davide Ancona and Luca Franceschini and Angelo Ferrando and Viviana Mascardi},
 year         = {2021},
 title        = {{{RML:} Theory and Practice of a Domain Specific Language for Runtime Verification}},
 journal      = {Science of Computer Programming},
 volume       = {205},
 pages        = {102610},
 doi          = {10.1016/j.scico.2021.102610},
)
@article(BROOKE2003256,
 author       = {Phillip J. Brooke and Richard F. Paige},
 year         = {2003},
 title        = {Fault Trees for Security System Design and Analysis},
 journal      = {Computers \&{} Security},
 volume       = {22},
 number       = {3},
 pages        = {256--264},
 doi          = {10.1016/S0167-4048(03)00313-4},
)
@inproceedings(DBLP:conf/post/ClarksonFKMRS14,
 author       = {Michael R. Clarkson and Bernd Finkbeiner and Masoud Koleini and Kristopher K. Micinski and Markus N. Rabe and C{\'{e}}sar S{\'{a}}nchez},
 year         = {2014},
 title        = {{Temporal Logics for Hyperproperties}},
 booktitle    = {Proc. Third International Conference on Principles of Security and Trust (POST)},
 series       = {Lecture Notes in Computer Science},
 volume       = {8414},
 publisher    = {Springer},
 pages        = {265--284},
 doi          = {10.1007/978-3-642-54792-8\_15},
)
@inproceedings(P7009:21,
 author       = {Marie Farrell and Matt Luckcuck and Laura Pullum and Michael Fisher and Ali Hessami and Danit Gal and Zvikomborero Murahwi and Ken Wallace},
 year         = {2021},
 title        = {{Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems}},
 booktitle    = {Proc. 32nd International Symposium on Software Reliability Engineering 2021 - Industry Track},
 doi          = {10.1109/ISSREW53611.2021.00109},
)
@inproceedings(Ferrando20a,
 author       = {Angelo Ferrando and Rafael C. Cardoso and Michael Fisher and Davide Ancona and Luca Franceschini and Viviana Mascardi},
 year         = {2020},
 title        = {{ROSMonitoring: A Runtime Verification Framework for ROS}},
 booktitle    = {Towards Autonomous Robotic Systems},
 publisher    = {Springer},
 pages        = {387--399},
 doi          = {10.1007/978-3-030-63486-5\_40},
)
@article(robotics10020067,
 author       = {Michael Fisher and Rafael C. Cardoso and Emily C. Collins and Christopher Dadswell and Louise A. Dennis and Clare Dixon and Marie Farrell and Angelo Ferrando and Xiaowei Huang and Mike Jump and Georgios Kourtis and Alexei Lisitsa and Matt Luckcuck and Shan Luo and Vincent Page and Fabio Papacchini and Matt Webster},
 year         = {2021},
 title        = {{An Overview of Verification and Validation Challenges for Inspection Robots}},
 journal      = {Robotics},
 volume       = {10},
 number       = {2},
 doi          = {10.3390/robotics10020067},
)
@inproceedings(Kassem19,
 author       = {Ali Kassem and Yli\`{e}s Falcone},
 year         = {2019},
 title        = {{Detecting Fault Injection Attacks with Runtime Verification}},
 booktitle    = {Proc. 3rd ACM Workshop on Software Protection},
 series       = {SPRO'19},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {65–76},
 doi          = {10.1145/3338503.3357724},
)
@inproceedings(aft,
 author       = {Rajesh Kumar and Mariëlle Stoelinga},
 year         = {2017},
 title        = {{Quantitative Security and Safety Analysis with Attack-Fault Trees}},
 booktitle    = {Proc. 18th International Symposium on High Assurance Systems Engineering},
 publisher    = {IEEE},
 pages        = {25--32},
 doi          = {10.1109/HASE.2017.12},
)
@article(DBLP:journals/jlp/LeuckerS09,
 author       = {Martin Leucker and Christian Schallhart},
 year         = {2009},
 title        = {{A Brief Account of Runtime Verification}},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {78},
 number       = {5},
 pages        = {293--303},
 doi          = {10.1016/j.jlap.2008.08.004},
)
@article(survey1,
 author       = {Elena Lisova and Irfan Šljivo and Aida Čaušević},
 year         = {2019},
 title        = {{Safety and Security Co-Analyses: A Systematic Literature Review}},
 journal      = {IEEE Systems Journal},
 volume       = {13},
 number       = {3},
 pages        = {2189--2200},
 doi          = {10.1109/JSYST.2018.2881017},
)
@article(DBLP:journals/fmsd/MoosbruggerRS17,
 author       = {Patrick Moosbrugger and Kristin Y. Rozier and Johann Schumann},
 year         = {2017},
 title        = {{R2U2:} monitoring and diagnosis of security threats for unmanned aerial systems},
 journal      = {Formal Methods in Systems Design},
 volume       = {51},
 number       = {1},
 pages        = {31--61},
 doi          = {10.1007/s10703-017-0275-x},
)
@article(NAIFOVINO20091394,
 author       = {{Nai Fovino}, Igor and Marcelo Masera and {De Cian}, Alessio},
 year         = {2009},
 title        = {Integrating Cyber Attacks within Fault Trees},
 journal      = {Reliability Engineering \&{} System Safety},
 volume       = {94},
 number       = {9},
 pages        = {1394--1402},
 doi          = {10.1016/j.ress.2009.02.020},
)
@inproceedings(DBLP:conf/focs/Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {{The Temporal Logic of Programs}},
 booktitle    = {Proc. 18th Annual Symposium on Foundations of Computer Science (FOCS)},
 publisher    = {{IEEE} Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(Sabaliauskaite15,
 author       = {Giedre Sabaliauskaite and Aditya P. Mathur},
 year         = {2015},
 title        = {{Aligning Cyber-Physical System Safety and Security}},
 booktitle    = {Complex Systems Design {\&} Management Asia},
 publisher    = {Springer},
 pages        = {41--53},
 doi          = {10.1007/978-3-319-12544-2\_4},
)
@book(WooldridgeRao99:book,
 editor       = {M. Wooldridge and A. Rao},
 year         = {1999},
 title        = {Foundations of Rational Agency},
 series       = {Applied Logic Series},
 publisher    = {Kluwer Academic Publishers},
 doi          = {10.1007/978-94-015-9204-8},
)
@article(robotics10030086,
 author       = {Thomas Wright and Andrew West and Mauro Licata and Nick Hawes and Barry Lennox},
 year         = {2021},
 title        = {{Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges}},
 journal      = {Robotics},
 volume       = {10},
 number       = {3},
 doi          = {10.3390/robotics10030086},
)