Practical model checking of a home area network system : case study - Zahid, Soufiane (Array, 2019)