Kai Lampka Markus Siegle Max Walter An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. 35-50 2006 conf/fmics/2006 FMICS/PDMC http://dx.doi.org/10.1007/978-3-540-70952-7_3 db/conf/fmics/fmics2006.html#LampkaSW06