_id,doi,title
4361,10.1007/978-3-642-12032-9_8,Forward analysis of depth-bounded processes