Modeling and Analysis for Universal Plug and Play Using PIPE2. - Cheng-Min Lin; Shyi-Shiou Wu; Tse-Yi Chen (IEICE Trans. Inf. Syst., 2011)