NOUREEN ABBAS, U.; WAQAS, U.; HUSSAIN, D. S.; ABID, D. M. A. A Formal Model for Smart Living Room. Lahore Garrison University Research Journal of Computer Science and Information Technology, v. 6, n. 03, p. 27-34, 21 Aug. 2022.