Availability Modeling and Analysis for Software Defined Networks | IEEE Conference Publication | IEEE Xplore