@misc(collada,
 year         = {2007},
 title        = {COLLAborative Design Activity (COLLADA)},
 howpublished = {\href{https://www.khronos.org/collada/}{\url{khronos/collada/}}},
)
@misc(ros,
 year         = {2007},
 title        = {Robot Operating System (ROS)},
 howpublished = {\href{http://wiki.ros.org/ROS/Introduction}{\url{ros.org/Intro}}},
)
@misc(yarp,
 year         = {2007},
 title        = {Yet Another Robot Platform (YARP)},
 howpublished = {\href{https://www.yarp.it/}{\url{yarp.it}}},
)
@misc(morse,
 year         = {2016},
 title        = {The {MORSE} Simulator},
 howpublished = {available from \href{https://www.openrobots.org/morse/doc/stable/morse.html}{\url{openrobots.org/morse}}},
)
@article(afzal2020study,
 author       = {Afsoon Afzal and Deborah S. Katz and Claire Le Goues and Christopher Steven Timperley},
 year         = {2020},
 title        = {A Study on the Challenges of Using Robotics Simulators for Testing},
 journal      = {CoRR},
 volume       = {abs/2004.07368},
 url          = {https://arxiv.org/abs/2004.07368},
)
@article(ASKARPOUR2019465,
 author       = {Mehrnoosh Askarpour and Dino Mandrioli and Matteo Rossi and Federico Vicentini},
 year         = {2019},
 title        = {Formal model of human erroneous behavior for safety analysis in collaborative robotics},
 journal      = {Robotics and Computer-Integrated Manufacturing},
 volume       = {57},
 pages        = {465 -- 476},
 doi          = {10.1016/j.rcim.2019.01.001},
 url          = {http://www.sciencedirect.com/science/article/pii/S0736584518303247},
)
@inproceedings(BPR15,
 author       = {Luciano Baresi and Mohammad Mehdi Pourhashem Kallehbasti and Matteo Rossi},
 year         = {2015},
 title        = {Efficient Scalable Verification of {LTL} Specifications},
 editor       = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum},
 booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
 publisher    = {{IEEE} Computer Society},
 pages        = {711--721},
 doi          = {10.1109/ICSE.2015.84},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/7174815/proceeding},
)
@inproceedings(DBLP:conf/cav/CimattiCGGPRST02,
 author       = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella},
 year         = {2002},
 title        = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
 booktitle    = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
 pages        = {359--364},
 doi          = {10.1007/3-540-45657-0\_29},
)
@book(furia2012modeling,
 author       = {Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi},
 year         = {2012},
 title        = {Modeling Time in Computing},
 series       = {Monographs in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-32332-4},
)
@book(ISO:10218-2,
 author       = {{ISO 10218-2}},
 year         = {2011},
 title        = {{Robots and robotic devices -- Safety requirements for industrial robots -- Part 2: Robot systems and integration}},
 publisher    = {International Organization for Standardization},
 address      = {Geneva, Switzerland},
)
@book(ISO:14121,
 author       = {{ISO/TR 14121-2}},
 year         = {2012},
 title        = {{Safety of machinery -- Risk assessment -- Part 2: Practical guidance and examples of methods}},
 publisher    = {International Organization for Standardization},
 address      = {Geneva, Switzerland},
)
@inproceedings(10.1007,
 author       = {S{\'{e}}verin Lemaignan and Marc Hanheide and Michael Karg and Harmish Khambhaita and Lars Kunze and Florian Lier and Ingo L{\"{u}}tkebohle and Gr{\'{e}}goire Milliez},
 year         = {2014},
 title        = {Simulation and {HRI} Recent Perspectives with the {MORSE} Simulator},
 editor       = {Davide Brugali and Jan F. Broenink and Torsten Kroeger and Bruce A. MacDonald},
 booktitle    = {Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, {SIMPAR} 2014, Bergamo, Italy, October 20-23, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8810},
 publisher    = {Springer},
 pages        = {13--24},
 doi          = {10.1007/978-3-319-11900-7\_2},
)
@inproceedings(8088134,
 author       = {Farzan M. Noori and David Portugal and Rui P. Rocha and Micael S. Couceiro},
 year         = {2017},
 title        = {On 3D simulators for multi-robot systems in {ROS:} {MORSE} or Gazebo?},
 booktitle    = {{IEEE} International Symposium on Safety, Security and Rescue Robotics, {SSRR} 2017, Shanghai, China, October 11-13, 2017},
 publisher    = {{IEEE}},
 pages        = {19--24},
 doi          = {10.1109/SSRR.2017.8088134},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/8076857/proceeding},
)
@misc(zot,
 author       = {Matteo Pradella},
 year         = {2009},
 title        = {A User's Guide to Zot: a Bounded Satisfiability Checker},
 url          = {http://github.com/fm-polimi/zot},
)
@article(PMS13,
 author       = {Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro},
 year         = {2013},
 title        = {Bounded satisfiability checking of metric temporal logic specifications},
 journal      = {{ACM} Trans. Softw. Eng. Methodol.},
 volume       = {22},
 number       = {3},
 pages        = {20:1--20:54},
 doi          = {10.1145/2491509.2491514},
)
@article(tro,
 author       = {Federico Vicentini and Mehrnoosh Askarpour and Matteo Rossi and Dino Mandrioli},
 year         = {2020},
 title        = {Safety Assessment of Collaborative Robotics Through Automated Formal Verification},
 journal      = {{IEEE} Trans. Robotics},
 volume       = {36},
 number       = {1},
 pages        = {42--61},
 doi          = {10.1109/TRO.2019.2937471},
)
@article(doi:10.1177/0278364919883338,
 author       = {Matt Webster and David Western and Araiza{-}Illan, Dejanira and Clare Dixon and Kerstin Eder and Michael Fisher and Anthony G. Pipe},
 year         = {2020},
 title        = {A corroborative approach to verification and validation of human-robot teams},
 journal      = {I. J. Robotics Res.},
 volume       = {39},
 number       = {1},
 doi          = {10.1177/0278364919883338},
)