On checking parallel real-time systems for linear duration properties | Publicación