High-Level Executable Specification of the Universal Plug and Play Architecture.

Uwe Glässer Yuri Gurevich Margus Veanes High-Level Executable Specification of the Universal Plug and Play Architecture. 283 2002 HICSS http://dlib2.computer.org/conferen/hicss/1435/pdf/14350283.pdf? db/conf/hicss/hicss2002-9.html#GlasserGV02