أرسل هذا في رسالة قصيرة: Epistemic Reasoning About IoT Systems in the Presence of Uncertainty