Timed concurrent system modeling and verification of home care plan. - Taryana, Acep; Adzkiya, Dieky; Mufid, Muhammad Syifa'ul; Mukhlash, Imam (International Journal of Electrical & Computer Engineering (2088-8708), 2025)