Holger Hermanns Sven Johr May we reach it? Or must we? In what time? With what probability? 125-140 2008 MMB conf/mmb/2008 db/conf/mmb/mmb2008.html#HermannsJ08