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