Huang, et al.. ROSRV: Runtime Verification for Robots. Springer International Publishing, 2014, doi:10.1007/978-3-319-11164-3_20.