Dependable LQNS: a performability modeling tool for layered systems | IEEE Conference Publication | IEEE Xplore