Modeling Jini-UPnP Bridge using Rapide ADL | IEEE Conference Publication | IEEE Xplore