_id,doi,title 12467,10.1007/978-3-031-30829-1_17,Quantitative safety and liveness