Return to Article Details A Formal Model for Smart Living Room Download Download PDF