Smart Sensorization Using Propositional Dynamic Logic | Publicación