The proposed case study is inspired by a real smart drug system consisting ofa daily electronic pill reminder&dispenser (a daily pill box), a remote control app(e.g., a mobile Android app running on a ...