Ajao, Lukman Adewale, Agajo, James, Umar, Buhari Ugbede, Agboade, Tope Tobi, Adegboye, Mutiu Adesina, "Modeling and implementation of smart home and self-control window using FPGA and Petri Net.", , 2020