Luigia Petre Kaisa Sere Marina A. Waldén A Language for Modeling Network Availability. 639-659 2006 conf/icfem/2006 ICFEM http://dx.doi.org/10.1007/11901433_35 db/conf/icfem/icfem2006.html#PetreSW06