Noureen Abbas, U., Waqas, U., Hussain, D.S. and Abid, D.M.A. 2022. A Formal Model for Smart Living Room. Lahore Garrison University Research Journal of Computer Science and Information Technology. 6, 03 (Aug. 2022), 27-34. DOI:https://doi.org/10.54692/lgurjcsit.2022.0603277.