Multi-valued Model Checking in Dense-Time | Publicación