REST -Retrofitting Support Tool for Smart Hospitals- User Guide